monadiccp-0.6.1: Constraint Programming

Control.CP.Herbrand.PrologTerm

Documentation

data PrologTerm Source

Constructors

PTerm String [PrologTerm]
PVar Int

Instances

Eq PrologTerm
Show PrologTerm
HTerm PrologTerm
Term Prolog PrologTerm