I am trying to find a documentation of the following behaviour. If I enter this code: goal_expansion(println(X), (write(X), nl)). test :- call(println, 'Hello World!'). Listing shows me this result: test :- call('__aux_wrapper_8a89205eca9a6ffb31dd01cc968a2aa022fa1f49', 'Hello World!'). '__au…

How is goal expansion for closures defined?

jan December 18, 2020, 9:33am 32

This is pretty much on topic. It explains the problems with goal expansion.

How would you implement things library(yall) without goal_expansion/2

Topic		Replies	Views
Term_expansion/2 vs goal_expansion/2 Predicate	5	794	October 17, 2020
How to get to a fixed point with goal expansion? Help!	18	1249	April 28, 2019
In due time goal_expansion/2 will be replaced by providing inline predicates Request For Comments	0	451	December 18, 2020
Term_expansion, goal_expansion, and peers General discussion	3	228	January 12, 2024
Sharing term expansion across modules Help!	53	1347	June 6, 2021