Extensions to a parallel prolog system to support real-time applications

  • Constantin Mourlas
  • Constantin Halatsis
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 605)


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.


Logic Programming Periodic Task Exception Handler Event Goal Proof Tree 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Arity Prolog Manual.Google Scholar
  2. [2]
    U. Baron, A. Cheese, and M. Ratcliffe. Parallel Logic Programming Languages: The State of the Art. Technical Report CA-45, ECRC, April 1989.Google Scholar
  3. [3]
    M. Coulas, G. Macewen, and G. Marquis. RNet: A Hard Real-Time Distributed Programming System. IEEE Trans. on Computers, C-36(8):917–932, August 1987.Google Scholar
  4. [4]
    C.A.R. Hoare. Communicating Sequential Processes. Communications of the ACM, 21(8):666–677, August 1978.CrossRefGoogle Scholar
  5. [5]
    T. Hrycej. Temporal Prolog. In Proceedings of the 8th European Conference on Artificial Intelligence, pages 296–301, 1988.Google Scholar
  6. [6]
    Y. Ishikawa, H. Tokuda, and C.W. Mercer. Object-Oriented Real-Time Language Design: Constructs for Timing Constraints. Technical Report CMU-CS-90–111, Carnegie Mellon, March 1990.Google Scholar
  7. [7]
    E. V. Krishnamurthy. Parallel Processing. Addison-Wesley, 1989.Google Scholar
  8. [8]
    Insup Lee and Susan B. Davidson. Adding Time to Synchronous Process Communications. IEEE Trans. on Computers, C-36(8):941–948, August 1987.Google Scholar
  9. [9]
    R.K.S. Lee and R. Goebel. Concurrent Prolog in a Multi-process Environment. In Proceedings of the International Symposium on Logic Programming, pages 100–109, 1985.Google Scholar
  10. [10]
    Shem-Tov Levi and Ashok K. Agrawala. Real-Time System Design. McGraw-Hill, 1990.Google Scholar
  11. [11]
    C.J. Paul, Anurag Acharya, Bryan Balck, and Jay K. Strosnider. Reducing Problem-Solving Variance to Improve Predictability. Communications of the ACM, 34(8):80–93, August 1991.CrossRefGoogle Scholar
  12. [12]
    L.M. Pereira and R. Nasr. Delta Prolog: A Distributed Logic Programming Language. In Proceedings of the International Conference on Fifth Generation Computer Systems 1984, pages 283–291, 1984.Google Scholar
  13. [13]
    Sepia 3.0 User Manual.Google Scholar
  14. [14]
    J.A. Stankovic. Misconceptions About Real—Time Computing-A Serious Problem for Next-Generation Systems. Computer, 21(10):10–19, October 1988.CrossRefGoogle Scholar
  15. [15]
    Turbo Prolog Owner's Handbook.Google Scholar
  16. [16]
    VAX-11 Prolog II Version 2.2 Language Reference Manual.Google Scholar
  17. [17]
    VM/Programming in Logic-Program Description and Operations Manual.Google Scholar
  18. [18]
    Whei Zhao, Krithi Ramamritham, and John A. Stankovic. Preemptive Scheduling Under Time and Resource Constraints. IEEE Trans. on Computers, C-36(8):949–960, August 1987.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • Constantin Mourlas
    • 1
  • Constantin Halatsis
    • 1
  1. 1.Department of InformaticsUniversity of AthensAthens

Personalised recommendations