From 44ab8a339c78bcc3460d44b2f435116f21faa60a Mon Sep 17 00:00:00 2001
From: Peter Mikkelsen <peter@pmikkelsen.com>
Date: Mon, 5 Jul 2021 16:27:38 +0000
Subject: First step on modules. Still very very rough.

---
 stdlib.pl | 13 ++-----------
 1 file changed, 2 insertions(+), 11 deletions(-)

(limited to 'stdlib.pl')

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) :-
-- 
cgit v1.2.3