ThingLab (1978) / Alan Borning
One of the first constraint-oriented simulation programs.
Video Demo
Online Version