Logtk Documentation

The documentation can be found here.

API Documentation


Logtk
Contains every other module
LogtkSymbol
LogtkSymbols
LogtkScopedTerm
Scoped Terms
LogtkFOTerm
First-order terms Terms use LogtkScopedTerm with kind "LogtkFOTerm".
LogtkType
LogtkTypes
LogtkUtil
Some helpers
LogtkPrologTerm
Prolog-like Terms.
LogtkInterfaces
LogtkInterfaces
LogtkDBEnv
De Bruijn environments
LogtkPosition
LogtkPositions in terms, clauses...
LogtkHOTerm
Higher Order Terms
LogtkFormula
First-order LogtkFormulas LogtkHashconsed formulas for first-order logic.
LogtkSubsts
Substitutions
LogtkUnif
LogtkUnification and Matching
LogtkSignature
LogtkSignature
LogtkTypeInference
LogtkType Inference
LogtkOptions
Global CLI options
LogtkComparison
Partial LogtkOrdering values
LogtkPrecedence
LogtkPrecedence (total ordering) on symbols
LogtkPrecedence_intf
Interface of LogtkPrecedence
LogtkOrdering
Term LogtkOrderings
LogtkOrdering_intf
Partial ordering on terms
LogtkSkolem
Skolem symbols
LogtkCnf
Reduction to CNF and simplifications
LogtkHORewriting
LogtkRewriting on HO terms
LogtkIndex
Generic term indexing
LogtkDtree
Perfect Discrimination Tree
LogtkFingerprint
Fingerprint term indexing
LogtkNPDtree
Non-Perfect Discrimination Tree
LogtkCongruence
Simple and Lightweight Congruence and order
LogtkFastFingerprint
Experimental Fingerprint LogtkIndexing
LogtkFeatureVector
Feature Vector indexing
LogtkRewriting
LogtkFOTerm rewriting
LogtkFormulaShape
Detect some specific formulas
LogtkTransform
LogtkTransformations on LogtkFormulas and Terms
LogtkLambda
Lambda-Calculus
LogtkSourced
Sourced Statements
LogtkTypedPrologTerm
Prolog-like LogtkTyped Terms.
LogtkHashcons
LogtkHashconsing
LogtkCache
Memoization caches
LogtkParseLocation
Location in a file
LogtkMultiset
Generic multisets
LogtkPartialOrder
Partial LogtkOrdering
LogtkPartialOrder_intf
Elements that can be compared
LogtkLazyList
Lazy List
LogtkIArray
Immutable Arrays
LogtkLazyGraph
Lazy graph polymorphic data structure

A description of modules can be found here.

List of modules