Re: Prolog doesn't give multiple solutions to my goal.



On Aug 27, 3:47 am, Giovanni Gherdovich
<gherdov...@xxxxxxxxxxxxxxxxxxxxxx> wrote:
Hello,

On Aug 25, 7:51 pm, Jan Wielemaker <j...@xxxxxxxxxxxxxxxxxxx> wrote:

Its legal comment, so it is totally valid. Otherwise it means little
to me :-)

Uh!
I use `%` character for comments, so I didn't noticed the `/*` and `*/
`!!!

Anyway, I didn't explained well in my last post:
I would like to know if the rule "ground toplevel queries have only
one answer"
is valid also in other Prolog implementation than SWI-Prolog
(I mean in the default settings).

Regards,
Giovanni

To supplement Bart's list of various Prolog's behavior
in this regard:

Amzi! Prolog gives "one answer" (no opportunity for ;)
when an interactive goal lacks an explicit free variable.

Visual Prolog is perhaps not quite comparable because
it doesn't provide (at least by default) interactive
operation. In as much as Visual Prolog programs are
driven by a "main" goal that lacks free variables, it
might well be counted as having at least a similar
behavior, in that the program terminates once the
main goal succeeds (or fails).

regards, chip

.