Article View: comp.lang.prolog
Article #2367Re: List of Folk Theorems
From: John Dowding
Date: Mon, 24 Jun 1991 15:55
Date: Mon, 24 Jun 1991 15:55
21 lines
1176 bytes
1176 bytes
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
Technical Details
Message-ID:
<DOWDING.91Jun24085555@sunset.ai.sri.com>Path:
arc1-ca.pugleaf.net!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!dowdingReferences:
<3470@geocub.UUCP> <6473@goanna.cs.rmit.oz.au>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!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: <DOWDING.91Jun24085555@sunset.ai.sri.com> 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