| ||||||||||
| ||||||||||
Documentation | ||||||||||
type Var = [Char] | ||||||||||
type Const = [Char] | ||||||||||
data Term | ||||||||||
| ||||||||||
data Atom | ||||||||||
| ||||||||||
type Literal = Atom | ||||||||||
data Clause | ||||||||||
| ||||||||||
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 |