“Up to now, declarative programming languages such as Prolog or ML have not been used for real-time applications.”