From ee4298a2cfbbd9e015cfc775d9d714a9f5035846 Mon Sep 17 00:00:00 2001
From: Peter Mikkelsen <peter@pmikkelsen.com>
Date: Wed, 30 Jun 2021 14:04:15 +0000
Subject: Add a basic repl

---
 example.pl | 8 --------
 1 file changed, 8 deletions(-)

(limited to 'example.pl')

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
-- 
cgit v1.2.3