From 329c6975c44fcbe1cf7c9d93ab6164495f432213 Mon Sep 17 00:00:00 2001 From: Peter Mikkelsen Date: Thu, 1 Jul 2021 00:52:41 +0000 Subject: Start implementation of is/2 --- stdlib.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'stdlib.pl') diff --git a/stdlib.pl b/stdlib.pl index 01b3e5f..cceada6 100644 --- a/stdlib.pl +++ b/stdlib.pl @@ -61,7 +61,7 @@ A @>= B :- length([], 0). length([_|Tail], Length) :- length(Tail, Length0), - Length is Length + 1. + Length is Length0 + 1. member(X, [X|_]). member(X, [_|Tail]) :- -- cgit v1.2.3