Package edu.uky.ai.logic.io

package edu.uky.ai.logic.io

Contains parsers for various logical languages.

Related Packages

Package	Description
edu.uky.ai.logic	Contains objects for representing logical formulas.

Classes

Class	Description
LogicParser	Contains common parsing rules that apply to many kinds of logic.
PredicateLogicParser	A parser for predicate logic, which expects all Atoms to be Predications.
PropositionalLogicParser	A parser for propositional logic, which expects all Atoms to be AtomicPropositions.