ContentsIndex
AST.Prolog
Synopsis
type Var = [Char]
type Const = [Char]
data Term
= CTVar Var
| CTFreeVar Int
| CTConst Const
| CTStruct Const [Term]
data Atom = CAtom Const [Term]
type Literal = Atom
data Clause = CClause Atom [Literal]
type Predicate = (Const, Int)
arity :: Atom -> Int
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.6