summaryrefslogtreecommitdiff
path: root/example.pl
diff options
context:
space:
mode:
Diffstat (limited to 'example.pl')
-rw-r--r--example.pl3
1 files changed, 0 insertions, 3 deletions
diff --git a/example.pl b/example.pl
index 3df943c..d9e4108 100644
--- a/example.pl
+++ b/example.pl
@@ -24,6 +24,3 @@ tester(A, B) :- true.
=(A,A).
-length([], zero).
-length([Head|Tail], suc(Length)) :-
- length(Tail, Length).