summaryrefslogtreecommitdiff
path: root/example.pl
diff options
context:
space:
mode:
authorPeter Mikkelsen <peter@pmikkelsen.com>2021-06-30 14:04:15 +0000
committerPeter Mikkelsen <peter@pmikkelsen.com>2021-06-30 14:04:15 +0000
commitee4298a2cfbbd9e015cfc775d9d714a9f5035846 (patch)
tree8d6f4b139abf1a645e9e4fe0fba811f64b03839f /example.pl
parent79d1fe1cf2eb6748e2c12ffe9c36a678655302b1 (diff)
Add a basic repl
Diffstat (limited to 'example.pl')
-rw-r--r--example.pl8
1 files changed, 0 insertions, 8 deletions
diff --git a/example.pl b/example.pl
index 74387b1..d9ffc2a 100644
--- a/example.pl
+++ b/example.pl
@@ -1,5 +1,3 @@
-:- dynamic(math/4).
-
math(A,B,C,D) :- D is A + B + C * A.
parentest :-
@@ -28,9 +26,3 @@ curly(A) :- A = {one,two,three}.
length([], zero).
length([Head|Tail], suc(Length)) :-
length(Tail, Length).
-
-:- initialization(could_be_friends(bob, sam)).
-
-:- initialization(length([a,b,c,d], Len)).
-
-:- initialization(length(_,_)). \ No newline at end of file