monadiccp-0.5.2: Constraint Programming

Control.CP.Herbrand.PrologTerm

Documentation

data PrologTerm Source

Constructors

PTerm String [PrologTerm] 
PVar Int 

Instances