Bug Report: Variable Looses Binding
Jan Burse <[email protected]> Wed, 09 Nov 2011 15:30:42 +0100
| Newsgroups | gmane.comp.gnu.prolog.bugs |
|---|---|
| Message-ID | <[email protected]> |
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 _______________________________________________ Bug-prolog mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-prolog
gnuproblem.p
(text/plain, 191 B)
% 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