summaryrefslogtreecommitdiff
path: root/stdlib.pl
diff options
context:
space:
mode:
authorPeter Mikkelsen <peter@pmikkelsen.com>2021-07-05 16:27:38 +0000
committerPeter Mikkelsen <peter@pmikkelsen.com>2021-07-05 16:27:38 +0000
commit44ab8a339c78bcc3460d44b2f435116f21faa60a (patch)
treefa512c143c5df81c0c333a187b9083cbac9636f6 /stdlib.pl
parent3f26a0f2a1f699e628136ec5be6178b5ab40fc44 (diff)
First step on modules. Still very very rough.
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) :-