swipl

swipl [-g goal] [-t goal] [-o output] [options] [files]

swipl is the interpreter and compiler for SWI-Prolog, one of the most comprehensive and widely used Prolog implementations. It provides an interactive REPL for querying facts and rules, loading Prolog source files, and compiling standalone executables.SWI-Prolog includes an extensive standard library with support for constraint logic programming (CLP), definite clause grammars, multi-threading, HTTP server framework, and interfaces to databases and other languages. It supports both interactive development and deployment as compiled applications.The system can execute goals from the command line, load source files, and create standalone executables using the -c flag. It is widely used in academic research, natural language processing, and knowledge representation systems.

-g GOAL

Goal executed before entering the interactive top level. May appear multiple times.

Use goal as the interactive top level instead of the default prolog/0 (commonly halt for scripts).

Specify the output file when used with -c.

Compile files into an intermediate code (saved state) file.

Load file as a script after initialization.

Use file as the initialization file instead of the default init.pl. Use -f none to skip init.

Load file (compatibility with other Prolog systems).

Boot from an alternative saved state.

Enable optimized compilation.

Set a Prolog flag.

Limit combined Prolog stack size (suffix b, k, m, g).

Suppress informational messages and startup banner.

Print version and architecture.

Print brief help summary.

Prolog syntax unique. Logic programming paradigm. Learning curve.

SWI-Prolog was started by Jan Wielemaker in 1987. It's one of the most widely used Prolog implementations.

gprolog(1), sicstus(1), yap(1)