Copyright	(c) Harm Brouwer and Noortje Venhuizen
License	Apache-2.0
Maintainer	me@hbrouwer.eu, n.j.venhuizen@rug.nl
Stability	provisional
Portability	portable
Safe Haskell	Safe-Inferred
Language	Haskell98

Data.FOL.Formula

Contents

Description

FOL formula data structure

Synopsis

Exported

First Order Logic formula

Constructors

Exists FOLVar FOLForm	An existential quantification
ForAll FOLVar FOLForm	A universal quantification
And FOLForm FOLForm	A conjunction
Or FOLForm FOLForm	A disjunction
Imp FOLForm FOLForm	An implication
Neg FOLForm	A negation
Rel FOLPred [FOLVar]	A relation
Top	True constant
Bottom	False constant

Instances details

Show FOLForm #	Derive an instance of the Show typeclass for `FOLForm`.
Instance details Defined in Data.FOL.Show Methods showsPrec :: Int -> FOLForm -> ShowS # show :: FOLForm -> String # showList :: [FOLForm] -> ShowS #
Eq FOLForm #
Instance details Defined in Data.FOL.Formula Methods (==) :: FOLForm -> FOLForm -> Bool # (/=) :: FOLForm -> FOLForm -> Bool #

First Order Logic variable

First Order Logic predicate