summaryrefslogtreecommitdiff
path: root/stdlib.pl
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib.pl')
-rw-r--r--stdlib.pl4
1 files changed, 4 insertions, 0 deletions
diff --git a/stdlib.pl b/stdlib.pl
index 2b23063..a972ae0 100644
--- a/stdlib.pl
+++ b/stdlib.pl
@@ -156,6 +156,10 @@ clause(Head, Body) :-
clause(Head, Body, Clauses),
member(clause(Head, Body), Clauses).
+current_predicate(PI) :-
+ current_predicate(PI, Predicates),
+ member(PI, Predicates).
+
% Basic list predicates
member(X, [X|_]).
member(X, [_|Tail]) :-