Re: Strange clause/2 predicate behaviour in SWI-Prolog

Jose' de Siqueira <jose@xxxxxxxxxxx> wrote:
Shouldn't the same query give the same answer in both systems?
[playing with clause and ','/2].
I consider the GNU Prolog answer expected and correct, but the
SWI-Prolog answer stuns me! Is it a bug?

It may be considered "unusual" in terms of an appropriate measure of
possible Prolog implementations (:) but SWI isn't alone in adding as
a clause. It's documented in the SWI manual.
.

Relevant Pages

  • Re: A few questions about Prolog...
    ... few Prolog implementations, and would appreciate if the community ... SWI-Prolog seems to use a lot of memory for its many stacks. ... SWI-Prolog uses a lot of memory for stacks? ...
    (comp.lang.prolog)
  • Re: Nooby stumped by effect of repeated rule
    ... on swi-prolog: ... could it be that the first and second ?y somehow refer to different ... (this would be a bug IMHO). ... (that would be _ in Prolog I think, ...
    (comp.lang.lisp)