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. Features that are considered desirable in a RT Operating System (RT-OS) kernel for the implementation of the higher level RT language constructs are identified. Moreover, existing Prolog Systems that support timing features are briefly surveyed and a comparative analysis is presented.