diff options
Diffstat (limited to 'stdlib.pl')
-rw-r--r-- | stdlib.pl | 13 |
1 files changed, 2 insertions, 11 deletions
@@ -1,3 +1,5 @@ +:- module(system, []). + % Logic and control predicates \+ Goal :- call(Goal), !, fail. \+ Goal. @@ -58,17 +60,6 @@ A @>= B :- A @>= B :- A @> B. -% List predicates - -length([], 0). -length([_|Tail], Length) :- - length(Tail, Length0), - Length is Length0 + 1. - -member(X, [X|_]). -member(X, [_|Tail]) :- - member(X, Tail). - % Input output open(SourceSink, Mode, Stream) :- |