Extensions to a Parallel Prolog System to Support Real-Time Applications

In this article, we first discuss the Real-Time (RT) programming issues and what language support should be provided for building RT applications. Then we propose a set of RT extensions for a parallel Prolog system and we investigate the ability of the new system to express a variety of RT behavioral properties. These extensions address issues such as task manipulation, timing constraint definition, communication, interrupt and exception handler definition. We also examine the exploitation of the parallelism by the RT extensions and the usefulness of a parallel environment in RT programming.