Contents
Index
prolog-graph-lib-0.2.1: Generating images of resolution trees for Prolog queries.
Index
Branch
Language.Prolog.GraphViz
colorize
Language.Prolog.GraphViz
CutFlag
Language.Prolog.GraphViz
EdgeLabel
Language.Prolog.GraphViz
empty
Language.Prolog.GraphViz
execGraphGenT
Language.Prolog.GraphViz
filterOriginal
Language.Prolog.GraphViz
formatEdge
Language.Prolog.GraphViz
formatNode
Language.Prolog.GraphViz
gelem
Language.Prolog.GraphViz
Gr
1 (Type/Class)
Language.Prolog.GraphViz
2 (Data Constructor)
Language.Prolog.GraphViz
Graph
Language.Prolog.GraphViz
GraphGenT
1 (Type/Class)
Language.Prolog.GraphViz
2 (Data Constructor)
Language.Prolog.GraphViz
hash
Language.Prolog.GraphViz
hashString
Language.Prolog.GraphViz
htmlGoals
Language.Prolog.GraphViz
htmlStr
Language.Prolog.GraphViz
htmlUnifier
Language.Prolog.GraphViz
insEdge
Language.Prolog.GraphViz
insNode
Language.Prolog.GraphViz
labEdges
Language.Prolog.GraphViz
labNodes
Language.Prolog.GraphViz
modifyLabel
Language.Prolog.GraphViz
NodeLabel
Language.Prolog.GraphViz
Path
Language.Prolog.GraphViz
preview
Language.Prolog.GraphViz
ProtoBranch
Language.Prolog.GraphViz
relabelNode
Language.Prolog.GraphViz
resolveTree
Language.Prolog.GraphViz
resolveTreeToFile
Language.Prolog.GraphViz
runGraphGenT
Language.Prolog.GraphViz
simplify
Language.Prolog.GraphViz
toDot
Language.Prolog.GraphViz
WasCut
Language.Prolog.GraphViz
WasNotCut
Language.Prolog.GraphViz