Safe Haskell | None |
---|
Documentation
Eq TermType | |
Ord TermType | |
Show TermType | |
Pretty TermType | |
Atom FOLEQ TermType String | |
Term TermType String Function | |
Apply FOL String TermType | |
Apply FOLEQ PredName TermType | Using PredName for the predicate type is not quite appropriate here, but we need to implement this instance so we can use it as a superclass of AtomEq below. |
AtomEq FOLEQ PredName TermType |
The Harrison book uses String for atomic function, but we need something a little more type safe because of our Skolem class.