SWI-Prolog
How is goal expansion for closures defined?
SWI-Prolog web site and services
jan
December 18, 2020, 9:33am
32
This is pretty much on topic. It explains the problems with goal expansion.
In due time goal_expansion/2 will be replaced by providing inline predicates
How would you implement things library(yall) without goal_expansion/2
show post in topic
Related topics
Topic
Replies
Views
Activity
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