Re: [ontolog-forum] IKL is a decent logic language

[David Whitten <whitten@xxxxxxxxxx>]

To my knowledge in IKL, that() is a way of quoting a proposition or a reifying mechanism for propositions, and is not a function definition or any kind of definition.

I don't think IKL  (or Common Logic) supports what has traditionally been called "definitions" in first order predicate logic.

David

713-870-3834

PS: I sent this note to clarify my understanding. If anyone can verify I am right or wrong, I would appreciate a note.

On Sun, Apr 13, 2014 at 12:06 PM, Richard H. McCullough <rhmccullough@xxxxxxxxx> wrote:

that() is your new function definition.
 
Dick McCullough
Context Knowledge Systems
mKR/mKE tutorial

_________________________________________________________________
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
 

_________________________________________________________________
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    (01)