| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
Logtk : A Logic ToolKit for Automated Reasoning and its Implementation
Abstract : We describe the design and implementation of Logtk, an OCaml library
for writing automated reasoning tools that deal with (possibly typed)
first-order logic. The library provides data structures to represent
terms, formulas and substitutions, and algorithms to index terms, unify them.
It also contains parsers and a few tools to demonstrate its use. It is the basis
of a full-fledged superposition prover.
Cited literature [16 references]
https://hal.inria.fr/hal-01101057
Contributor : Simon Cruanes <>
Submitted on : Tuesday, January 13, 2015 - 3:39:52 PM
Last modification on : Thursday, March 5, 2020 - 4:48:35 PM
Long-term archiving on: : Friday, September 11, 2015 - 6:39:48 AM
Contributor : Simon Cruanes <>
Submitted on : Tuesday, January 13, 2015 - 3:39:52 PM
Last modification on : Thursday, March 5, 2020 - 4:48:35 PM
Long-term archiving on: : Friday, September 11, 2015 - 6:39:48 AM
File
logtk_paar.pdf
Files produced by the author(s)