Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!watmath!clyde!burl!ulysses!allegra!mit-eddie!genrad!panda!husc6!harvard!seismo!gatech!akgua!whuxlm!whuxl!houxm!ihnp4!inuxc!pur-ee!uiucdcs!uicsl!gooley
From: gooley@uicsl.UUCP
Newsgroups: net.lang.prolog
Subject: Standard behavior?
Message-ID: <6500005@uicsl>
Date: Fri, 9-May-86 14:44:00 EDT
Article-I.D.: uicsl.6500005
Posted: Fri May  9 14:44:00 1986
Date-Received: Tue, 13-May-86 02:49:40 EDT
Lines: 12
Nf-ID: #N:uicsl:6500005:000:354
Nf-From: uicsl.UUCP!gooley    May  9 13:44:00 1986


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?

Mark Gooley, University of Illinois at Urbana-Champaign
{ihnp4 ; pur-ee ; seismo ; convex}!uiucdcs!uicsl!uicsg!gooley
uicsl!uicsg!gooley@a.cs.uiuc.edu