24 Mar
2002
24 Mar
'02
1:28 p.m.
- Why the listerning not asks me if I want alternative solutions?
It is as if upon pressing "intro" after testing "p (X)." they are pressed two times the key "intro". It is problem of Emacs (it more sure), or of the listerning (not I believe it)? How I can solve it, because if not, it is impossible to obtain ever alternative solutions to a query?
If i understood your second question i think you must put a ';' in order to obtain more solutions (or alternative solutions). For example:
?- p(X).
X = a ? ; X = b ? <-- here you can put more ';' if you want more solutions (if there aren't more solutions you must see something like no and ?- , the prompt) yes ?-
Bye