monadiccp-0.5.1: Constraint Programming

Control.CP.Herbrand.PrologTerm

Documentation

data PrologTerm Source

Constructors

PTerm String [PrologTerm] 
PVar Int 

Instances