NanoProlog-0.3: Very small interpreter for a Prolog-like language

Language.Prolog.NanoProlog.Parser

Documentation

pTerm, pFun, pCons :: Parser Term Source

pRule :: Parser Rule Source

pTerms :: Parser [Term]Source

startParse :: (ListLike s b, Show b) => P (Str b s LineColPos) a -> s -> (a, [Error LineColPos])Source