elpi

Description:Embeddable Lambda Prolog Interpreter in OCaml
License: LGPL-2.1+
Homepage:https://github.com/LPCIC/elpi/
Location:Portage
Legend:
  • + - stable
  • ~ - unstable
  • M - hardmask
alpha amd64 arm hppa ia64 m68k mips ppc ppc64 s390 sh sparc x86
1.17.0 diff - ~ - - - - - - - - - - -
1.16.10 diff - ~ - - - - - - - - - - -
1.16.9 - ~ - - - - - - - - - - -

USE flags

  • ocamlopt - Enable ocamlopt support (ocaml native code compiler) -- Produces faster programs (Warning: you have to disable/enable it at a global scale)
  • test - Enable dependencies and/or preparations necessary to run tests (usually controlled by FEATURES=test but can be toggled independently)

Also available in: Atom

Thank you!