summaryrefslogtreecommitdiff
path: root/example.pl
diff options
context:
space:
mode:
authorPeter Mikkelsen <peter@pmikkelsen.com>2021-06-30 23:53:19 +0000
committerPeter Mikkelsen <peter@pmikkelsen.com>2021-06-30 23:53:19 +0000
commit1ca3670047172610f0c284df5d5171fa840f97ce (patch)
tree0be53ff4d0c8d970dab9f6a8c8693db56eaff9c0 /example.pl
parentd5ac41480097d6f382fbb2385974e57ec21030a4 (diff)
Add length/2 and member/2
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).