Add clause/2 predicate

1 files changed, 10 insertions, 0 deletions

diff --git a/stdlib.pl b/stdlib.pl
index b36a851..2b23063 100644
--- a/stdlib.pl
+++ b/stdlib.pl
@@ -150,3 +150,13 @@ E1 > E2 :-
 	E2 < E1.
 
 
+% Clause retrieval and information
+
+clause(Head, Body) :-
+	clause(Head, Body, Clauses),
+	member(clause(Head, Body), Clauses).
+
+% Basic list predicates
+member(X, [X|_]).
+member(X, [_|Tail]) :-
+	member(X, Tail).