Re: [ontolog-forum] IKL mailing list for discussions?

["Richard H. McCullough" <rhm@xxxxxxxxxxxxx>]

Maybe "experience" is a better word.

I think JK wants to actually "use" the IKL language,

perhaps as a "thinking" tool?

 

That is a problem, since Pat Hayes tells me that there

are no IKL tools of any kind -- no compiler, interpreter,

syntax checker, IDE, and apparently no mailing list.

 

Dick McCullough
http://mkrmke.org

----- Original Message -----

From: Christopher Menzel

To: [ontolog-forum]

Sent: Wednesday, June 03, 2009 8:42 AM

Subject: Re: [ontolog-forum] IKL mailing list for discussions?

On Jun 2, 2009, at 7:30 PM, Richard H. McCullough wrote:

JK

 

It's a work in progress [some bugs, some omissions], but

    ke -ikl

translates mKR to IKL..

It will give you some insight into the IKL language.

Your translator can't possibly give insight into IKL when you are relying upon IKL's semantics to provide the missing semantics for mKR.  The IKL guide, together with the ISO Common Logic spec, are the places to go for insight into IKL.

Chris Menzel

_________________________________________________________________
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
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (01)