[ontolog-forum] named proposition isa logical function

["Richard H. McCullough" <rhmccullough@xxxxxxxxx>]

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