From 58e0109ee9ed3aa6ac2e6b0ed621820118a3d1de Mon Sep 17 00:00:00 2001
From: Peter Mikkelsen <peter@pmikkelsen.com>
Date: Thu, 8 Jul 2021 01:40:24 +0000
Subject: Add clause/2 predicate

---
 stdlib.pl | 10 ++++++++++
 1 file changed, 10 insertions(+)

(limited to 'stdlib.pl')

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