summaryrefslogtreecommitdiff
path: root/stdlib.pl
diff options
context:
space:
mode:
authorPeter Mikkelsen <peter@pmikkelsen.com>2021-07-08 21:54:27 +0000
committerPeter Mikkelsen <peter@pmikkelsen.com>2021-07-08 21:54:27 +0000
commitd2a0828140c31514c514b8e4fb9a4d52c389d8fe (patch)
tree01b461851fbae13f1d37fd880fe6ac21922de613 /stdlib.pl
parente9f5f2ffcc62eee564d37d5776e701bab548a496 (diff)
Add current_predicate/1 builtin
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]) :-