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

What the manifest covers

3 sections, each its own tab

Command form

ai-draft · 2 tasks · 7 fields

otty gui swi-prolog opens SWI-Prolog and fills your prompt with the command.

Autocomplete

generated · 1.7 KB

Subcommands, options and argument candidates Otty offers as you type.

Dotfiles

2 paths

Where it keeps its config, which parts are credentials, and which lines belong to one machine.

Published manifest

Immutable: every revision keeps its URL and its digest

Version window

All versions

Revision

a3112521f28c8f177f03176dde9dec2e23080731f7f4a70ea193ffc8fdc7cdc6

Read it

otty.toml · JSON · API metadata

SourcesEvery field cites one of 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