ELPI(1) | User Commands | ELPI(1) |
elpi - embeddable lambda-Prolog interpreter
elpi [OPTION].. [FILE].. [-- ARGS..]
-test runs the query "main"
-document-builtins Print documentation for built-in predicates
-no-tc don't typecheck the program
-version prints the version of Elpi
-trace-on KIND FILE enable trace printing.
Tracing options can be used to debug your programs and the Elpi interpreter.
Tracing points for the user are prefixed with 'user:' while the ones for the Elpi developer with 'dev:'.
A sensible set of options to debug your programs is: -trace-on -trace-at 1 9999 -trace-only '\(run\|select\|user:\)'
-print-accumulated-files prints files loaded via accumulate
-print-ast prints files as parsed, then exit
-print prints files after most compilation passes, then exit
-print-passes prints intermediate data during compilation, then exit
-print-units prints compilation units data, then exit
October 2021 | elpi 1.13.7 |