monadiccp-0.5.2: Constraint Programming
Control.CP.Herbrand.Prolog
data Prolog a Source
Instances
module Control.CP.Herbrand.PrologTerm
data PConstraint Source
Constructors