Representing Constraint Systems with Omega (opens in new tab)

Representing Constraint Systems with Omega Koton, Phyllis A. This paper considers two constraint systems, that of Steele and Sussman, and Alan Borning's Thinglab. Some functional difficulties in these systems are discussed. A representation of constraint systems using the description system Omega is presented which is free of these difficulties.