diff options
Diffstat (limited to 'stdlib.pl')
-rw-r--r-- | stdlib.pl | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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]) :- |