On Monday 06 August 2007 15:37, Mills Davis wrote:
So, when will we seeing tooling for (a) CL and (b) the IKL extensions
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?