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

Language.Prolog.NanoProlog.NanoProlog

Documentation

newtype Env Source

Constructors

Env
Fields fromEnv :: Map UpperCase Term

Instances

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

type UpperCase = String Source

type LowerCase = String Source

type Tag = String Source

data Result Source

Constructors

Done Env
ApplyRules [(Tag, Rule, Result)]

data Rule Source

Constructors

Term :<-: [Term]

Instances

Eq Rule
Show Rule
Subst Rule
Taggable Rule

class Subst t whereSource

Methods

subst :: Env -> t -> tSource

Instances

Subst Rule
Subst Term
Subst a => Subst [a]

class Taggable a whereSource

Methods

tag :: Tag -> a -> aSource

Instances

Taggable Rule
Taggable Term
Taggable a => Taggable [a]

data Term Source

Constructors

Var UpperCase
Fun LowerCase [Term]

Instances

Eq Term
Ord Term
Show Term
Subst Term
Taggable Term

type Proofs = [(Tag, Rule)]Source

type TaggedTerm = (Tag, Term)Source

emptyEnv :: Maybe Env Source

enumerateDepthFirst :: Proofs -> Result -> [(Proofs, Env)]Source

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

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

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