Morphe

A constraints-based object-oriented programming language supporting situated knowledge.