Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!swrinde!cs.utexas.edu!uunet!mcsun!ukc!canon!imlah From: imlah@canon.co.uk (Bill Imlah) Newsgroups: comp.lang.prolog Subject: Re: Fallibility of the sane Message-ID: <1991May1.120712.21975@canon.co.uk> Date: 1 May 91 12:07:12 GMT References: <5384@goanna.cs.rmit.oz.au> <1991Apr26.081315.18922@canon.co.uk> <5449@goanna.cs.rmit.oz.au> Distribution: comp Organization: Kenny's Fish Bar (Turbot with a Smile) Lines: 21 ok@goanna.cs.rmit.oz.au (Richard A. O'Keefe) writes: >In article <1991Apr26.081315.18922@canon.co.uk>, imlah@canon.co.uk (Bill Imlah) writes: >> Surely its [sic] an [sic] common mistake. Mostly people coming to >> grips with Prolog don't play around with terms enough >> for the distinction to become salient. >But every argument to any Prolog predicate *is* a term. >The only way one can fail to "play around with terms" is to >write only predicates that have no arguments! enough (adv): as many or as much as necessary - Oxford Advanced Learner's Dictionary -------------------------------------------------------- Bill Imlah imlah@canon.co.uk Canon Research Centre Europe, 17/20 Frederick Sanger Rd. The Surrey Research Park, Guildford, Surrey, GU2 5YD, UK. Dyslexic disclaimer: the views typed by my fingers are not necessarily those of my [sick] brain