Dear Prof Daniel Diaz
I can provide an even smaller test program that shows
the problem. See attachment.
Somewhere inbetween some conversion happens from $VAR(0)
to a real variable. Can this be switched off?
Best Regards
--
XLOG Technologies GmbH
Jan Burse
Freischützgasse 14
8004 Zürich
E-mail: [email protected]
mobile: +41-76-489 04 03
fax: +41-43-268 04 03
% We expect to see an A in both ?- invokations.
:- dynamic(test/0).
test :- writeq('$VAR'(0)).
% | ?- test.
% A
%
% yes
% | ?- clause(test,Body), Body.
% _41
%
% Body = writeq(_)
%
% yes
_______________________________________________
Bug-prolog mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/bug-prolog
