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
In due time goal_expansion/2 will be replaced by providing inline predicates
Request For Comments
0
451
December 18, 2020
I don't quite understand the manual text for call/1
Predicate
6
1578
June 6, 2020
Term_expansion/2 vs goal_expansion/2
Predicate
5
794
October 17, 2020
Careful with the $/1
Help!
1
324
August 2, 2021
SWI Prolog documentation mentions "closures" - but these are not the "closures" you are looking for
Nice to know
5
2388
March 6, 2020