Contents
Index
prolog-0.3.2: A Prolog interpreter written in Haskell.
Index
+++
Language.Prolog
apply
Language.Prolog
Atom
Language.Prolog
bottom
Language.Prolog
c
Language.Prolog.Quote
Clause
1 (Type/Class)
Language.Prolog
2 (Data Constructor)
Language.Prolog
clause
Language.Prolog
ClauseFn
Language.Prolog
comment
Language.Prolog
consult
Language.Prolog
consultString
Language.Prolog
createConnections
Language.Prolog
Cut
Language.Prolog
cut
Language.Prolog
fn
Language.Prolog
Goal
Language.Prolog
lhs
Language.Prolog
markCutBranches
Language.Prolog
markSolution
Language.Prolog
MonadGraphGen
Language.Prolog
MonadTrace
Language.Prolog
parseQuery
Language.Prolog
pl
Language.Prolog.Quote
Program
Language.Prolog
program
Language.Prolog
resolve
Language.Prolog
resolve_
Language.Prolog
rhs
Language.Prolog
rhs_
Language.Prolog
runNoGraphT
Language.Prolog
Struct
Language.Prolog
Substitution
Language.Prolog
t
Language.Prolog.Quote
Term
Language.Prolog
term
Language.Prolog
terms
Language.Prolog
trace
Language.Prolog
ts
Language.Prolog.Quote
Unifier
Language.Prolog
unify
Language.Prolog
unify_with_occurs_check
Language.Prolog
Var
Language.Prolog
var
Language.Prolog
VariableName
1 (Type/Class)
Language.Prolog
2 (Data Constructor)
Language.Prolog
vname
Language.Prolog
whitespace
Language.Prolog
Wildcard
Language.Prolog
withTrace
Language.Prolog