A Reactive Constraint Logic Programming Scheme
François Fages, John Fowler, T. Sola · The MIT Press eBooks · 1995
In this paper we present a constraint logic programming scheme for reactive systems. A formal framework is developed to define the scheme's operational model and to prove its completeness. A prototype implementation of a simplified version of this model is described and then evaluated on two applications.