monadiccp-0.6: Constraint Programming

Control.CP.Herbrand.PrologTerm

Documentation

data PrologTerm Source

Constructors

PTerm String [PrologTerm] 
PVar Int 

Instances