Language.Prolog.NanoProlog.NanoProlog

Documentation

type Env = Map UpperCase Term

type LowerCase = String

data Result

Constructors

Done Env

ApplyRules [(Tag, 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 :: Tag -> 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 :: Proofs -> Result -> [(Proofs, Env)]

matches :: (Term, Term) -> Maybe Env -> Maybe Env

pFun :: Parser Term

pRule :: Parser Rule

pTerm :: Parser Term

pTerms :: Parser [Term]

show' :: Env -> String

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

solve :: [Rule] -> Maybe Env -> [TaggedTerm] -> Result

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

unify :: (Term, Term) -> Maybe Env -> Maybe Env