ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] named proposition isa logical function

To: "Dr. Richard H. McCullough" <rhm@xxxxxxxxxxxxx>, "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
Cc: Clinton Jeffery <jeffery@xxxxxxxxxx>, KR-language <kr-language@xxxxxxxxxxxxxxx>, "Richard S. Latimer" <rslatimer@xxxxxxx>
From: David Whitten <whitten@xxxxxxxxxx>
Date: Mon, 14 Apr 2014 11:46:08 -0400
Message-id: <CAH8N84z94Lq0vVwrYvuMbyDaC3jX8PN4cdfZU0ae76uyidqiBA@xxxxxxxxxxxxxx>
As I understand it, a function in a logical language
is the same as a proposition with another argument.

The result of the function can be replaced by a variable
and the "call" of the function is the same as a conjunction
with the proposition with the variable as the functional argument.

A logical language "function" is radically different than 
imperative language 'function".



On Sun, Apr 13, 2014 at 11:29 AM, Richard H. McCullough <rhmccullough@xxxxxxxxx> wrote:
They really are the same idea.
Any decent programming language
lets you define new functions.

Now let's say the same for
any decent logic language.
 
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)

<Prev in Thread] Current Thread [Next in Thread>