From 1ca3670047172610f0c284df5d5171fa840f97ce Mon Sep 17 00:00:00 2001
From: Peter Mikkelsen <peter@pmikkelsen.com>
Date: Wed, 30 Jun 2021 23:53:19 +0000
Subject: Add length/2 and member/2

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

(limited to 'example.pl')

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