SWI-Prolog

swi-prolog

A comprehensive implementation of the Prolog programming language.

Runs as swipl|macOS, Linux, Windows|www.swi-prolog.org

Open form in Otty otty.toml

Command form

ai-draft · 2 tasks · 7 fields

Start swipl with source files, startup goals and resource limits. Compilation (-c, -b), saved states and embedding options are not covered.

Opens the form; the finished command lands at your prompt, unrun

Run in Otty

otty gui swi-prolog

SWI-PrologExample values, fixed in this page — nothing here reaches a terminal

Basic

Prolog files*

file

Quiet

-q

Advanced

Stack limit

string

TasksEach one presets the form for one job

Load files interactively

filesquietstack_limit

Run a goal and exit

filesgoaltoplevelquiet

ParametersOnly these flags are editable in the form

Prolog files

path · positional 0 · repeatable

Startup goal (-g)

Run just before the toplevel. Quote complex terms.
string · repeatable

-g

Toplevel goal (-t)

Use halt to exit after the -g goals.
string

-thalt

Quiet

boolean

-q

Optimised compilation

boolean

-O

Stack limit

Size with unit, for example 2g.
string

--stack_limit

Init file

Use none to skip the init file.
string

-f

SourcesEvery flag above is checked against these

man

swipl [options] prolog-file ... [--] [arg ...] --stack_limit=size[bkmg] Sets the combined stack limit to size bytes. -O Optimised compilation. -f file Use file as initialisation file instead of `init.pl'. -g goal Goal is executed just before entering the top level. This option may appear multiple times. --quiet[=bool] -q Operate silently. This option suppres…

manualswipl 8.1.29 man page (Debian unstable)

manpages.debian.org

Before it fills your prompt, Otty checks the installed swipl against its version. A form that does not match your version is not offered.