NanoProlog-0.3: Very small interpreter for a Prolog-like language (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