Re: Prolog doesn't give multiple solutions to my goal.
- From: Chip Eastham <hardmath@xxxxxxxxx>
- Date: Mon, 27 Aug 2007 09:09:32 -0700
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
.
- References:
- Prolog doesn't give multiple solutions to my goal.
- From: Giovanni Gherdovich
- Re: Prolog doesn't give multiple solutions to my goal.
- From: Bart Demoen
- Re: Prolog doesn't give multiple solutions to my goal.
- From: Benjamin Johnston
- Re: Prolog doesn't give multiple solutions to my goal.
- From: Joachim Schimpf
- Re: Prolog doesn't give multiple solutions to my goal.
- From: Benjamin Johnston
- Re: Prolog doesn't give multiple solutions to my goal.
- From: Giovanni Gherdovich
- Re: Prolog doesn't give multiple solutions to my goal.
- From: Jan Wielemaker
- Re: Prolog doesn't give multiple solutions to my goal.
- From: Giovanni Gherdovich
- Prolog doesn't give multiple solutions to my goal.
- Prev by Date: Re: Prolog doesn't give multiple solutions to my goal.
- Next by Date: Re: Prolog doesn't give multiple solutions to my goal.
- Previous by thread: Re: Prolog doesn't give multiple solutions to my goal.
- Next by thread: Re: Prolog doesn't give multiple solutions to my goal.
- Index(es):