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? (01)
Define "tooling." (02)
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). (03)
Does that count as tooling? (04)
Randall Schulz (05)
_________________________________________________________________
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 (06)
|