I wrote:
> On Wed, Jul 25, 2012 at 6:25 AM, John F Sowa <sowa@xxxxxxxxxxx> wrote:
> ...
> The backquote in LISP can be applied to any expression. The IKL
> 'that' operator can be implemented in LISP by applying backquote
> to sentences in some version of logic.
>
> That is probably right. (01)
But Pat wrote: (02)
> Sorry, can't let that go by. No, it can't be implemented in LISP, in this or
>any other way. (03)
I appear to contradict Pat here, but all that I mean is that, given syntactic
similarities between LISP backquote and the IKL "that" operator, you could
probably use backquote to simulate a reasonably significant swath of the
intended logical behavior of the IKL operator. I don't off the top of my head
see what that wouldn't be so, but I would defer to Pat's superior knowledge of
LISP on this point. (04)
-chris (05)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J (06)
|