added swipl

7 years ago · 475e68295a
parent 987b18d4e3
commit 475e68295a
1 changed files with 10 additions and 0 deletions
--- a/sheets/swipl
+++ b/sheets/swipl
@ -0,0 +1,10 @@
+# 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.
+