Is the builtin predicate =../3 not allowed in
the body for term_expansion/2 definitions ?
I wrote term_expansion/2 definition using =../2 in the body,
but it (=../2 call) fails on compiling (loading).
So I rewrote the definition replacing =../2 in the body
with functor/3, then the term_expansion has worked
well in the way as I intended.
I can not find any reason for that the builtin =../3 is
not allowed to be used for term_expansion/2.
Thank you for pointing out in advance what I am missing
Kuiaki Mukai
_______________________________________________
SWI-Prolog mailing list
SWI-Prolog@...
https://mailbox.iai.uni-bonn.de/mailman/listinfo.cgi/swi-prolog
