elpi

ELPI - Embeddable λProlog Interpreter

Libraries

This package provides the following libraries (via ocamlobjinfo):

elpi

Documentation:

  • Elpi_util
  • Elpi_trace
  • Elpi_ast
  • Elpi_parser
  • Elpi_ptmap
  • Elpi_data
  • Elpi_runtime_trace_on
  • Elpi_runtime_trace_off
  • Elpi_compiler
  • Elpi_API This module is the API for clients of the ELPI library.
  • Elpi_builtin