summaryrefslogtreecommitdiff
path: root/stdlib.pl
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib.pl')
-rw-r--r--stdlib.pl13
1 files changed, 2 insertions, 11 deletions
diff --git a/stdlib.pl b/stdlib.pl
index 7a744c4..4a62f87 100644
--- a/stdlib.pl
+++ b/stdlib.pl
@@ -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) :-