elpi
elpi copied to clipboard
LPCIC
Embeddable Lambda Prolog Interpreter
Test with: ``` make doc-build ``` Review doc in `docs/build/html` ``` make doc-publish ``` Review doc in local branch `gh-pages` If ok, uncomment pushing in root's Makefile target `doc-publish`, the...
Hi, Here is a preview for Elpi's sphinx based documentation to be: https://dream.inria.fr/elpi/ The Test Bed (https://dream.inria.fr/elpi/playground.html#test-bed) is so far only applied to 3 elpi test source files. Will list...
It would be nice to allow trailing commas in clauses, e.g. ``` Elpi Accumulate lp:{{ C1, C2, C3, %
Hi, This issue concerns the `trace-browser` branch, the elaborator specifically. https://github.com/LPCIC/elpi/blob/96c4d071194b4c7f20b9d09754c60a8e76922b07/tests/sources/trace_chr.elab.json#L170 I see a mismatch here, between the sibling `goal_id` and the `goal_text` fields. It might very well be a...
Right now they are user space predicates. Apart from performances, the user can change their semantics... that is not very sensible.
The current behavior of the repl is to read an expression, query the goal, and quit. It would be much nicer if it looped, and allowed posing repeated queries :)...
following the prototype at https://github.com/LPCIC/elpi/tree/tabling/toy/ we add SLG exploration of the search space. TODO: - [x] trail using persistent data structures (search tree heap is self contained, easy to have...