monadiccp-0.5.2: Constraint Programming

Control.CP.Herbrand.Prolog

Documentation

data Prolog a Source

Instances

Monad Prolog
Solver Prolog
Term Prolog PrologTerm

module Control.CP.Herbrand.PrologTerm

data PConstraint Source

Constructors

PrologTerm := PrologTerm
NotFunctor PrologTerm String
PrologTerm :/= PrologTerm