Contents
Index
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