ContentsIndex
AST.Prolog
Documentation
type Var = [Char]
type Const = [Char]
data Term
Constructors
CTVar Var
CTFreeVar Int
CTStruct Const [Term]
show/hide Instances
Eq Term
Functor Term
Monad Term
Ord Term
Show Term
(Eq a, ??? a) => Eq (Term a)
(Ord a, ??? a) => Ord (Term a)
(Show a, ??? a) => Show (Term a)
data Atom
Constructors
CAtom Const [Term]
show/hide Instances
Eq Atom
Ord Atom
Show Atom
??? a => Eq (Atom a)
??? a => Show (Atom a)
type Literal = Atom
data Clause
Constructors
CClause Atom [Literal]
show/hide Instances
Eq Clause
Show Clause
Translator String Predicate (Clause String)
??? a => Eq (Clause a)
??? a => Show (Clause a)
Show a => Pretty (Module Predicate (Clause a))
Translator (Module Predicate (Clause String)) Predicate Relational
type Predicate = (Const, Int)
arity :: Atom -> Int
functor :: Term -> Const
args :: Term -> [Term]
getp_rule :: Clause -> Predicate
getp_atom :: Atom -> Predicate
vars_clause :: Clause -> [Var]
vars_lit :: Literal -> [Var]
vars_atom :: Atom -> [Var]
vars_term :: Term -> [Var]
Produced by Haddock version 0.8