Matthias M. Holzl

Title: ConS/Lisp -- A MOP-Based Non-Deterministic Lisp

Abstract: We present ConS/Lisp, a programming language which extends a Lisp kernel with facilities for non-deterministic computing and constraint solving. In addition to a CLOS-like MOP, ConS/Lisp offers compile-time and run-time metaobject protocols to control non-deterministic behavior and the constraint-solving process. This allows the implementation of

resource-bounded nondeterminism without changes to a program. To demonstrate these facilities we have implemented a simple flight simulator in which a generic route-planner is used in a time-bounded manner to perform real-time course-adjustments and collision avoidance for simulated aircraft.