Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!watmath!clyde!cbosgd!ihnp4!inuxc!pur-ee!uiucdcs!reddy
From: reddy@uiucdcs.CS.UIUC.EDU
Newsgroups: net.lang.prolog
Subject: Re: Cut, var, nonvar, and Goebel's
Message-ID: <29700031@uiucdcs>
Date: Tue, 8-Jul-86 16:33:00 EDT
Article-I.D.: uiucdcs.29700031
Posted: Tue Jul  8 16:33:00 1986
Date-Received: Thu, 10-Jul-86 01:44:07 EDT
References: <3830@utah-cs.UUCP>
Lines: 12
Nf-ID: #R:utah-cs.UUCP:3830:uiucdcs:29700031:000:479
Nf-From: uiucdcs.CS.UIUC.EDU!reddy    Jul  8 15:33:00 1986


/* Written 12:03 pm  Jul  2, 1986 by rb@cci632.UUCP in uiucdcs:net.lang.prolog */

Now I'm a little confused.  Aren't any goals which refer to uninstantiated
variables, which are later instantiated, potentially both true and false?
...
	Rex B.
/* End of text from uiucdcs:net.lang.prolog */

They are.  But, if p(X) succeeds without instantiating X, it means that p(X)
is true for ALL instantiations of X.  A goal p(c) where c is a constant
should not then turn out to be false.