Contents
Index
NanoProlog-0.1.3: Very small interpreter for a Prolog-like language
Index
:<-:
Language.Prolog.NanoProlog.Lib
ApplyRules
Language.Prolog.NanoProlog.Lib
Done
Language.Prolog.NanoProlog.Lib
emptyEnv
Language.Prolog.NanoProlog.Lib
enumerateDepthFirst
Language.Prolog.NanoProlog.Lib
Fun
Language.Prolog.NanoProlog.Lib
LowerCase
Language.Prolog.NanoProlog.Lib
pFun
Language.Prolog.NanoProlog.Lib
pRule
Language.Prolog.NanoProlog.Lib
pTerm
Language.Prolog.NanoProlog.Lib
pTerms
Language.Prolog.NanoProlog.Lib
Result
Language.Prolog.NanoProlog.Lib
Rule
Language.Prolog.NanoProlog.Lib
show'
Language.Prolog.NanoProlog.Lib
solve
Language.Prolog.NanoProlog.Lib
startParse
Language.Prolog.NanoProlog.Lib
Subst
Language.Prolog.NanoProlog.Lib
subst
Language.Prolog.NanoProlog.Lib
tag
Language.Prolog.NanoProlog.Lib
Taggable
Language.Prolog.NanoProlog.Lib
Term
Language.Prolog.NanoProlog.Lib
unify
Language.Prolog.NanoProlog.Lib
Var
Language.Prolog.NanoProlog.Lib