Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo
The predicate read_atom_to_term/3 is answering an open list of variables (in its third argument), like in this example:
?- read_atom_to_term('x(Var)', T, V).
T = x(_h248)
V = [vv(Var,_h248)|_h254];
Is this a bug ?.
View entire thread