| Safe Haskell | Safe-Infered |
|---|
Language.Prolog.NanoProlog.Lib
- type LowerCase = String
- data Result
- = Done Env
- | ApplyRules [(Rule, Result)]
- data Rule = Term :<-: [Term]
- class Subst t where
- subst :: Env -> t -> t
- class Taggable a where
- data Term
- emptyEnv :: Maybe (Map UpperCase t)
- enumerateDepthFirst :: Proofs -> [String] -> Result -> [(Proofs, Env)]
- pTerm, pFun :: Parser Term
- pRule :: Parser Rule
- pTerms :: Parser [Term]
- show' :: Env -> String
- solve :: [Rule] -> Maybe Env -> Int -> [Term] -> Result
- startParse :: (ListLike s b, Show b) => P (Str b s LineColPos) a -> s -> (a, [Error LineColPos])
- unify :: (Term, Term) -> Maybe Env -> Maybe Env
Documentation
enumerateDepthFirst :: Proofs -> [String] -> Result -> [(Proofs, Env)]Source
printEnv prints a single solution, showing only the variables
that were introduced in the original goal
startParse :: (ListLike s b, Show b) => P (Str b s LineColPos) a -> s -> (a, [Error LineColPos])Source