Uses cases of closure expansion, how about library(reif)?

后端未结

关注

 0  1984

It seems that SWI-Prolog offers closure expansion.
We can for example define:

goal_expansion(println(X), (write(X), nl)).
test :- call(println,\'Hello W


                      
              相关标签: