From d2a0828140c31514c514b8e4fb9a4d52c389d8fe Mon Sep 17 00:00:00 2001 From: Peter Mikkelsen Date: Thu, 8 Jul 2021 21:54:27 +0000 Subject: Add current_predicate/1 builtin --- stdlib.pl | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'stdlib.pl') 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]) :- -- cgit v1.2.3