monadiccp-0.3: Package for Constraint Programming

Control.CP.Herbrand.PrologTerm

Documentation

data PrologTerm Source

Constructors

PTerm String [PrologTerm] 
PVar VarId 

Instances