diff options
author | Peter Mikkelsen <peter@pmikkelsen.com> | 2021-07-08 21:54:27 +0000 |
---|---|---|
committer | Peter Mikkelsen <peter@pmikkelsen.com> | 2021-07-08 21:54:27 +0000 |
commit | d2a0828140c31514c514b8e4fb9a4d52c389d8fe (patch) | |
tree | 01b461851fbae13f1d37fd880fe6ac21922de613 /stdlib.pl | |
parent | e9f5f2ffcc62eee564d37d5776e701bab548a496 (diff) |
Add current_predicate/1 builtin
Diffstat (limited to 'stdlib.pl')
-rw-r--r-- | stdlib.pl | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -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]) :- |