Contents
Index
NanoProlog-0.3: Very small interpreter for a Prolog-like language
Index
:<-:
Language.Prolog.NanoProlog.NanoProlog
ApplyRules
Language.Prolog.NanoProlog.NanoProlog
Done
Language.Prolog.NanoProlog.NanoProlog
emptyEnv
Language.Prolog.NanoProlog.NanoProlog
enumerateDepthFirst
Language.Prolog.NanoProlog.NanoProlog
Env
1 (Type/Class)
Language.Prolog.NanoProlog.NanoProlog
2 (Data Constructor)
Language.Prolog.NanoProlog.NanoProlog
fromEnv
Language.Prolog.NanoProlog.NanoProlog
Fun
Language.Prolog.NanoProlog.NanoProlog
loop
Language.Prolog.NanoProlog.Interpreter
LowerCase
Language.Prolog.NanoProlog.NanoProlog
matches
Language.Prolog.NanoProlog.NanoProlog
pCons
Language.Prolog.NanoProlog.Parser
pFun
Language.Prolog.NanoProlog.Parser
printSolutions
Language.Prolog.NanoProlog.Interpreter
Proofs
Language.Prolog.NanoProlog.NanoProlog
pRule
Language.Prolog.NanoProlog.Parser
pTerm
Language.Prolog.NanoProlog.Parser
pTerms
Language.Prolog.NanoProlog.Parser
Result
Language.Prolog.NanoProlog.NanoProlog
Rule
Language.Prolog.NanoProlog.NanoProlog
run
Language.Prolog.NanoProlog.Interpreter
solve
Language.Prolog.NanoProlog.NanoProlog
startParse
Language.Prolog.NanoProlog.Parser
Subst
Language.Prolog.NanoProlog.NanoProlog
subst
Language.Prolog.NanoProlog.NanoProlog
Tag
Language.Prolog.NanoProlog.NanoProlog
tag
Language.Prolog.NanoProlog.NanoProlog
Taggable
Language.Prolog.NanoProlog.NanoProlog
TaggedTerm
Language.Prolog.NanoProlog.NanoProlog
Term
Language.Prolog.NanoProlog.NanoProlog
unify
Language.Prolog.NanoProlog.NanoProlog
UpperCase
Language.Prolog.NanoProlog.NanoProlog
Var
Language.Prolog.NanoProlog.NanoProlog