Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: Notesfiles $Revision: 1.7.0.10 $; site uiucdcs
Path: utzoo!watmath!clyde!cbosgd!ihnp4!inuxc!pur-ee!uiucdcs!ylee
From: ylee@uiucdcs.CS.UIUC.EDU
Newsgroups: net.lang.prolog
Subject: Re: Prolog Hacker Tricks
Message-ID: <29700025@uiucdcs>
Date: Sun, 6-Apr-86 05:22:00 EST
Article-I.D.: uiucdcs.29700025
Posted: Sun Apr  6 05:22:00 1986
Date-Received: Thu, 10-Apr-86 21:20:25 EST
References: <769@watdragon.UUCP>
Lines: 4
Nf-ID: #R:watdragon.UUCP:769:uiucdcs:29700025:000:88
Nf-From: uiucdcs.CS.UIUC.EDU!ylee    Apr  6 04:22:00 1986


>                 not ( not ( predicate (X ...))))

What if `predicate (X ... )' loops?