Re: Cut, var, nonvar, and Goebel's

Article View: net.lang.prolog

Article #719

#719

From: reddy
Date: Wed, 09 Jul 1986 20:04

10 lines
897 bytes


/* Written 12:03 pm  Jul  2, 1986 by rb@cci632.UUCP in uiucdcs:net.lang.prolog */
I normally think of a cut symbol as an uninstantiated variable that gets
instantiated to false.
	Rex B.
/* End of text from uiucdcs:net.lang.prolog */

Can you elaborate on this?  I can't see how you can think of cut as a
variable.

Technical Details

Message-ID: <29700032@uiucdcs>

Path: arc1-ca.pugleaf.net!utzoo!watmath!clyde!cbatt!cbosgd!ihnp4!inuxc!pur-ee!uiucdcs!reddy

References: <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!cbatt!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: <29700032@uiucdcs>
Date: Wed, 9-Jul-86 16:04:00 EDT
Article-I.D.: uiucdcs.29700032
Posted: Wed Jul  9 16:04:00 1986
Date-Received: Fri, 11-Jul-86 07:39:41 EDT
References: <3830@utah-cs.UUCP>
Lines: 10
Nf-ID: #R:utah-cs.UUCP:3830:uiucdcs:29700032:000:315
Nf-From: uiucdcs.CS.UIUC.EDU!reddy    Jul  9 15:04:00 1986

Reply to Parent Message