swipl

Start interactive

$ swipl

$ swipl [program.pl]

$ swipl -g "[goal]" -t halt [program.pl]

$ swipl -g "[member(X,[1,2,3]),writeln(X)]" -t halt

$ swipl -o [output] -c [program.pl]

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

Initial goal.

Top-level goal.

Output executable.

Compile files.

Load script.

Suppress banner.

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)