🚀 go-pugleaf

In article <980@watdragon.UUCP> rggoebel@watdragon.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. 

Most of this discussion is not about how Prolog behaves, but how the top
level query evaluator behaves. As a member of the Prolog standards committee
but NOT speaking officially I should say that most environmental questions
are being RULED OUT by the standards committee. Whether it will specify 
exactly what is the answer to a top level query is not yet sorted out.

  [To repeat what has been said already, the confusion is just about what
response CProlog makes to a top-level query - if the query contains no
variables it just answers "yes" and doesn't give the opportunity to look
for another solution (all ways of solving it are equivalent so why bother).
UNSW gives ALL solutions by default, even in this rather unnecessary case.
If it was part of a larger problem, every Prolog I know would backtrack
and find both, even though it was strictly equivalent]

Chris Moss - cdsm@doc.ic.ac.uk or cdsm@icdoc.uucp