Abstract
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.
This work was partly funded by the ESPRIT II project EP 2025, European Declarative System (EDS)
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Arity Prolog Manual.
U. Baron, A. Cheese, and M. Ratcliffe. Parallel Logic Programming Languages: The State of the Art. Technical Report CA-45, ECRC, April 1989.
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.
C.A.R. Hoare. Communicating Sequential Processes. Communications of the ACM, 21(8):666–677, August 1978.
T. Hrycej. Temporal Prolog. In Proceedings of the 8th European Conference on Artificial Intelligence, pages 296–301, 1988.
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.
E. V. Krishnamurthy. Parallel Processing. Addison-Wesley, 1989.
Insup Lee and Susan B. Davidson. Adding Time to Synchronous Process Communications. IEEE Trans. on Computers, C-36(8):941–948, August 1987.
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.
Shem-Tov Levi and Ashok K. Agrawala. Real-Time System Design. McGraw-Hill, 1990.
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.
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.
Sepia 3.0 User Manual.
J.A. Stankovic. Misconceptions About Real—Time Computing-A Serious Problem for Next-Generation Systems. Computer, 21(10):10–19, October 1988.
Turbo Prolog Owner's Handbook.
VAX-11 Prolog II Version 2.2 Language Reference Manual.
VM/Programming in Logic-Program Description and Operations Manual.
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.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mourlas, C., Halatsis, C. (1992). Extensions to a parallel prolog system to support real-time applications. In: Etiemble, D., Syre, JC. (eds) PARLE '92 Parallel Architectures and Languages Europe. PARLE 1992. Lecture Notes in Computer Science, vol 605. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55599-4_110
Download citation
DOI: https://doi.org/10.1007/3-540-55599-4_110
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55599-5
Online ISBN: 978-3-540-47250-6
eBook Packages: Springer Book Archive