Dear all,
I am sure I am missing something but I don't know what. After a quite long debugging session, I have the following fragment in my C++ code:
prolog_term x = p2p_new(); if (is_var(x) == FALSE) abort(); // This statement does not get executed. if (c2p_list(x) == FALSE) abort(); // This statement does not get executed. // Hey, how can `x' still be a variable? if (is_var(x) == TRUE) abort(); // This statement IS executed.
`x' is initialized to a fresh variable (so that the first call to abort() is not executed), then the call to c2p_list() is successful (so that the second call to abort() is not executed), but afterwards `x' is still bound to a variable (and the third call to abort() is executed). Any idea why that happens? All the best
Roberto
P.S. I am using XSB 2.5
$ xsb [xsb_configuration loaded] [sysinitrc loaded] [packaging loaded]
XSB Version 2.5 (Okocim) of March 11, 2002 [i686-pc-linux-gnu; mode: optimal; engine: slg-wam; gc: indirection; scheduling: local]
| ?-