Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!samsung!mips!zaphod.mps.ohio-state.edu!think.com!snorkelwacker.mit.edu!stanford.edu!unix!unix.sri.com!dowding From: dowding@ai.sri.com (John Dowding) Newsgroups: comp.lang.prolog Subject: Re: List of Folk Theorems Message-ID: Date: 24 Jun 91 15:55:55 GMT References: <3470@geocub.UUCP> <6473@goanna.cs.rmit.oz.au> Sender: news@unix.SRI.COM Organization: SRI International, Menlo Park, CA Lines: 21 In-reply-to: ok@goanna.cs.rmit.oz.au's message of 24 Jun 91 08:52:13 GMT In article <6473@goanna.cs.rmit.oz.au> ok@goanna.cs.rmit.oz.au (Richard A. O'Keefe) writes: > \+ \+ goal The DEC-10 Prolog library defines gcc(G) :- \+ \+ X. It stands for "garbage collecting call". Better make that gcc(Goal) :- \+ \+ Goal. Those single letter variable names will get you every time. Since my news poster won't let me send this off yet (not enough lines, it says), is any one else really bothered by the catch/throw metaphor? Isn't it odd to have to execute the catch prior to executing the throw? -- John Dowding dowding@ai.sri.com