NAME

       elpi - embeddable lambda-Prolog interpreter

SYNOPSIS

       elpi [OPTION].. [FILE].. [-- ARGS..]

DESCRIPTION

   Main options:

       -test runs the query "main"

       -exec pred
              runs the query "pred ARGS"

       -D var Define variable (conditional compilation)

       -document-builtins Print documentation for built-in predicates

       -no-tc don't typecheck the program

       -delay-problems-outside-pattern-fragment (deprecated, for Teyjus
              compatibility)

       -version prints the version of Elpi

   Parsing options:
       -I PATH
              search for accumulated files in PATH

   Tracing options:
       -trace-at FNAME START STOP
              print trace between call START

              and STOP of function FNAME (FNAME can be omitted, default is run)

       -trace-on KIND FILE enable trace printing.

              KIND is tty or json (default is tty).  FILE is stdout or stderr (default) or host:port or /path or
              ./path

       -trace-skip REX
              ignore trace items matching REX

       -trace-only REX
              trace only items matching REX

       -trace-only-pred REX
              trace only when the current predicate matches REX

       -trace-tty-maxbox NUM
              Format max_boxes set to NUM

       -trace-tty-maxcols NUM
              Format margin set to NUM

       -stats-on
              Collect statistics

       -perf-on
              Disable trace output, but keep perf

       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:\)'

   Debug options (for debugging Elpi, not your program):

       -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

elpi 1.13.7                                       October 2021                                           ELPI(1)