2
0
mirror of https://github.com/chubin/cheat.sheets synced 2024-11-19 03:25:44 +00:00
cheat.sheets/sheets/swipl

11 lines
283 B
Plaintext
Raw Normal View History

2017-06-14 08:43:04 +00:00
# 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.