Message-ID: <346341CC.2D9A@locke.ccil.org> Date: Fri, 07 Nov 1997 11:29:00 -0500 From: John Cowan Organization: Lojban Peripheral X-Mailer: Mozilla 3.0 (WinNT; I) MIME-Version: 1.0 To: Lojban List Subject: Re: 'your will' as sumti References: <199711071131.GAA18773@locke.ccil.org> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Mozilla-Status: 0011 Content-Length: 801 X-From-Space-Date: Fri Nov 07 11:29:01 1997 X-From-Space-Address: - David Barton wrote: > Ashley Yakeley writes: > > I think this called 'currying' in functional calculus... anyone > care to comment? > > Hmmm. I don't think so. Well, I do think so, sort of. Remember that speaking Lojban is logic programming, not functional programming. Currying a function is a rough analogue of partially instantiating a predicate term, which is what "be...bei...be'o" does. Thus "citka" in Prolog is "eat(X,Y)", a two-place predicate, whereas "citka be lo rismi" is "eat(X,rice)", a one-place predicate. (I suppose that if you give a second place to "citka be lo rismi", you override the "lo rismi", as in Chinese, where the word for "eat" has a default direct object of "rice".) -- John Cowan http://www.ccil.org/~cowan cowan@ccil.org e'osai ko sarji la lojban