🚀 go-pugleaf

>>In article <7233@duke.UUCP> cds@duke.UUCP (Craig D. Singer) writes:
>>In article <6500005@uicsl> gooley@uicsl.UUCP writes:
>>>
>>>Consider the following trivial predicate:
>>>
>>>a([]).
>>>a(_).
>>>
>>>Given the query :-a([]). , C-Prolog finds one match and UNSW Prolog finds two.
>>>Which is standard behavior?  How do other implementations behave?
>>
>>I do not have the authority to say which is "standard" behavior, if by that
>>you mean which is found more commonly in implementations.  However, any book
>>on "vanilla" Prolog will tell you that "_" matches to anything, including a
>>null list, so I would indeed be annoyed by C-Prolog if it did not find two
>>matches.  Anybody disagree?

>Well, after I posted the above response I went ahead and checked out the
>version of C-Prolog which comes with 4.2/4.3 BSD and it DOES find two
>matches.  The way to note this is to expand the predicate as follows:

>a([],2).
>a(_,3).

>Then ask the query a([],X).  The response will be:

>X = 2

>after which you can type a semicolon and hit return, which produces:

>X = 3

>So C-Prolog (and, I would guess, any prolog) finds both matches.

For whoever is collecting /interested in this information:

I tried both of the above scenarios in Turbo Prolog and the PD version of
A.D.A Prolog.  The results:

Turbo Prolog:
	First scenario: 1 match
	Second scenario: 2 matches

A.D.A PDProlog:
	First scenario: 2 matches
	Second scenario: 2 matches

-- Tom Frauenhofer

...!seismo!rochester!ur-tut!tfra