Language.Prolog.NanoProlog.Lib

Documentation

type LowerCase = String

data Result

Constructors

None

Done Env

ApplyRules [(Rule, Result)]

data Rule

Constructors

Term :<-: [Term]

Instances

Eq Rule

Show Rule

Subst Rule

Taggable Rule

class Subst t where

Methods

subst :: Env -> t -> t

Instances

Subst Rule

Subst Term

Subst a => Subst [a]

class Taggable a where

Methods

tag :: Int -> a -> a

Instances

Taggable Rule

Taggable Term

Taggable a => Taggable [a]

data Term

Constructors

Var UpperCase

Fun LowerCase [Term]

Instances

Eq Term

Ord Term

Show Term

Subst Term

Taggable Term

emptyEnv :: Maybe (Map UpperCase t)

enumerateDepthFirst :: [(String, Rule)] -> [String] -> Result -> [([(String, Rule)], Env)]

pFun :: Parser Term

pRule :: Parser Rule

pTerm :: Parser Term

show' :: Env -> [Char]

printEnv prints a single solution, showing only the variables that were introduced in the original goal

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