Article View: net.lang.prolog
Article #717Re: Cut, var, nonvar, and Goebel's
From: reddy
Date: Tue, 08 Jul 1986 20:33
Date: Tue, 08 Jul 1986 20:33
12 lines
1057 bytes
1057 bytes
/* 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.
Technical Details
Message-ID:
<29700031@uiucdcs>Path:
arc1-ca.pugleaf.net!utzoo!watmath!clyde!cbosgd!ihnp4!inuxc!pur-ee!uiucdcs!reddyReferences:
<3830@utah-cs.UUCP>Show Full Headers
Complete Article Headers
Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Path: arc1-ca.pugleaf.net!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