mirror of
https://github.com/chubin/cheat.sheets
synced 2024-11-17 09:25:32 +00:00
11 lines
283 B
Plaintext
11 lines
283 B
Plaintext
# swipl
|
|
# SWI-Prolog is a versatile implementation of the Prolog language.
|
|
|
|
# run plolog interpreter in interactive mode
|
|
swipl
|
|
|
|
# consult file.pl, run goal mygoal(3,foo)
|
|
# and then halt the interpreter without entering interactive mode
|
|
swipl -s file.pl -g "mygoal(3,foo)." -t halt.
|
|
|