Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.2 9/18/84; site unc.unc.UUCP
Path: utzoo!watmath!clyde!burl!ulysses!unc!bts
From: bts@unc.UUCP (Bruce Smith)
Newsgroups: net.lang.prolog
Subject: Re: Standard behavior?
Message-ID: <12@unc.unc.UUCP>
Date: Tue, 13-May-86 19:49:05 EDT
Article-I.D.: unc.12
Posted: Tue May 13 19:49:05 1986
Date-Received: Wed, 14-May-86 22:17:58 EDT
References: <6500005@uicsl> <7233@duke.UUCP> <7234@duke.UUCP>
Reply-To: bts@unc.UUCP (Bruce Smith)
Organization: CS Dept, U. of N. Carolina, Chapel Hill
Lines: 13
Summary: 

C-Prolog finds one solution at a time, UNSW looks for all solutions to a
goal.  C-Prolog (and many others) only give you a chance to ask for more
solutions at the top level if there are free non-anonymous variables in
your query.  An easy way to show that C-Prolog was finding both solutions
in the original program is

	?- a([]), write(hello), nl, fail.

Count the number of 'hello's.
_____________________________________________________
Bruce T. Smith              Dept. of Computer Science
USENET: decvax!mcnc!unc!bts New West Hall (035-A)
Others: bts.unc@CSNET-RELAY Chapel Hill, NC 27514