Representing Constraint Systems with Omega

Abstract

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.