prolog-0.1: A Prolog interpreter written in Haskell.

Language.Prolog

Documentation

data Term Source

Constructors

Struct Atom [Term]
Var VariableName
Wildcard
Cut Int

Instances

Eq Term
Data Term
Ord Term
Show Term
Typeable Term
IsString Term
Lift Term
Lift ([Term] -> [Goal])

var :: String -> Term Source

cut :: Term Source

data Clause Source

Constructors

Clause
Fields lhs :: Term rhs_ :: [Goal]
ClauseFn
Fields lhs :: Term fn :: [Term] -> [Goal]

Instances

Data Clause
Show Clause
Typeable Clause
IsString Clause
Lift Clause

rhs :: Clause -> [Term] -> [Goal]Source

data VariableName Source

Constructors

VariableName Int String

Instances

Eq VariableName
Data VariableName
Ord VariableName
Show VariableName
Typeable VariableName
IsString VariableName
Lift VariableName

type Atom = String Source

type Unifier = [Substitution]Source

type Substitution = (VariableName, Term)Source

type Program = [Clause]Source

type Goal = Term Source

unify, unify_with_occurs_check :: MonadPlus m => Term -> Term -> m Unifier Source

apply :: Unifier -> Term -> Term Source

class Monad m => MonadTrace m whereSource

Methods

trace :: String -> m ()Source

Instances

MonadTrace IO
MonadTrace (Either err)
(MonadTrace m, MonadTrans t, Monad (t m)) => MonadTrace (t m)
MonadTrace (Trace IO)

withTrace :: Trace m a -> m aSource

class Monad m => MonadGraphGen m whereSource

Methods

createConnections :: Unifier -> [Goal] -> [Branch] -> m ()Source

markSolution :: Unifier -> m ()Source

markCutBranches :: Stack -> m ()Source

Instances

Monad m => MonadGraphGen (NoGraphT m)
MonadGraphGen m => MonadGraphGen (ReaderT r m)

runNoGraphT :: NoGraphT m a -> m aSource

resolve :: (Functor m, MonadTrace m, Error e, MonadError e m) => Program -> [Goal] -> m [Unifier]Source

resolve_ :: (Functor m, MonadTrace m, Error e, MonadError e m, MonadGraphGen m) => Program -> [Goal] -> m [Unifier]Source

(+++) :: [Substitution] -> [Substitution] -> Unifier Source

consult :: FilePath -> IO (Either ParseError Program)Source

consultString :: String -> Either ParseError Program Source

parseQuery :: String -> Either ParseError [Term]Source

program :: ParsecT String () Identity [Clause]Source

whitespace :: ParsecT String () Identity ()Source

comment :: ParsecT String () Identity ()Source

clause :: ParsecT String () Identity Clause Source

terms :: ParsecT String () Identity [Term]Source

term :: ParsecT String () Identity Term Source

bottom :: ParsecT String () Identity Term Source

vname :: ParsecT String u Identity VariableName Source