Main Page   Namespace List   Class Hierarchy   Compound List   File List   Compound Members   File Members   Related Pages   Examples  

FOL Namespace Reference

First-Order Logic Structures. More...

Detailed Description

First-Order Logic Structures.

This is a conventional set of tools for encoding and manipulating First-Order Logic structures, such as FOL::Sentence, FOL::Term, FOL::Predicate, FOL::Function, and FOL::Symbol.

The operations here include restructuring to CNF (conjunctive normal form) and HCF (Horn clause form), printing, inference via external agents, and coding to/from an RDF::Graph.

Home to blindfold. This page generated via doxygen Wed Oct 10 16:40:37 2001.