Control.CP.Herbrand.Herbrand

Documentation

type VarId = Int

class HTerm t where

Methods

mkVar :: VarId -> t

isVar :: t -> Maybe VarId

children :: t -> ([t], [t] -> t)

nonvar_unify :: MonadState (HState t) m => t -> t -> m Bool

Instances

HTerm PrologTerm

newtype Herbrand t a

Constructors

Herbrand

Fields

unH :: State (HState t) a

Instances

Monad (Herbrand t)

Functor (Herbrand t)

Applicative (Herbrand t)

HTerm t => Solver (Herbrand t)

HTerm t => Term (Herbrand t) t

MonadState (HState t) (Herbrand t)

type Subst t = Map VarId t

data HState t

Constructors

HState

Fields

var_supply :: VarId

subst :: Subst t

Instances

MonadState (HState t) (Herbrand t)

Monad m => MonadState (HState t) (HerbrandT t m)

updateState :: (HTerm t, MonadState (HState t) m) => (HState t -> HState t) -> m ()

newvarH :: (HTerm t, MonadState (HState t) m) => m t

data Unify t

Constructors

t Unify t

addH :: (HTerm t, MonadState (HState t) m) => Unify t -> m Bool

unify :: (HTerm t, MonadState (HState t) m) => t -> t -> m Bool

failure :: Monad m => m Bool

success :: Monad m => m Bool

bind :: (HTerm t, MonadState (HState t) m) => VarId -> t -> m ()

shallow_normalize :: (HTerm t, MonadState (HState t) m) => t -> m t

normalize :: (HTerm t, MonadState (HState t) m) => t -> m t