On Aug 6, 2007, at 6:23 PM, Randall R Schulz wrote:
> On Monday 06 August 2007 15:37, Mills Davis wrote:
>> Wow.
>> So, when will we seeing tooling for (a) CL and (b) the IKL extensions
>> to it?
>
> Define "tooling."
>
> My firm (H&S Information Systems) has a first-order theorem prover and
> DLP (disjunctive logic programming) solver that has recently been
> given
> a CLIF (Common Logic Interchange Format) interface (formerly we used a
> KIF subset). CLIF support is still young, but we're now working on a
> Web-based interactive user interface that allows users to submit,
> store
> and manipulate CLIF content that defines theories and problems and to
> submit conjectures to prove or queries to solve (as classic first-
> order
> disjunctive logic programs).
>
> Does that count as tooling? (01)
Damn straight. (02)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Subscribe/Config: 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 Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (03)
|