I want to implement a tracing predicate that outputs which predicate is being “currently resolved” from within any predicates that get called during its resolution. To do this I am trying to find a way to set global state to a value only: during execution of a predicate or during any of the chil…

Typically, by far the most efficient way is to misuse the stack inspection. This is the first step. The no_lco/1 call ensures call_with_context/2 remains on the stack and passing the argument ensures Prolog will not garbage collect the argument. call_with_context(Goal, Context) :- call(Goal…

I see, thanks! It’s a bit complicated but I think I get it :slight_smile:

How to set a global value during execution of a predicate

Help!

stassa.p February 26, 2021, 5:37pm 23

I see, thanks! It’s a bit complicated but I think I get it

Topic		Replies	Views
Wiki Discussion: Meta interpreter Wiki Discussion	31	2046	October 1, 2020
Using global (backtrackable) variables to hold return values General	13	743	June 6, 2019
Is there a meta_predicate tutorial? Predicate	14	1817	October 2, 2020
Wrapping predicates Request For Comments	32	3475	October 25, 2019
Dealing with state Discussion	32	1330	August 11, 2024

How to set a global value during execution of a predicate

Related topics