A sequential abstract machine for a distributed logic language

ABSTRACT

Delta Prolog is a concurrent logic programming language founded on the theoretical model of Distributed Logic and extending the Prolog language in order to allow the specification of concurrent systems. This paper describes Delta Prolog, its operational semantics and a sequential abstract machine (DAM) for the language.

REFERENCES

• Carvalhosa, 1991: Caxvalhosa, M., Design and Implementation of a Delta Prolog Abstract Machine (in Portuguese), MSc. thesis, Internal Report, Dep. Inform~itica, FCT, Universidad~ Nova de Lisboa, 1991.
• Cunha, 1988: Cunha, J., Concurrent Execution of a Logic Programming Language (in Portuguese), Ph.D. thesis, Dep. Inform~tica, FCT, Universidad~ Nova de Lisboa, 1988.
• Cunha, 1989: Cunha, J.; Ferreira, M.; Pereira, L., Programming in Delta Prolog, Proce~ings of Sixth International Conference of Logic Programming, edited by Levi, G., Martelli, M., MIT Press, 1989.
• Debray, 1988: Debray, S., The SB-Prolog System - Version 2.5.: A User Manual, Technical Report, Deparmaent of Computer Science, University of Arizona, Tucson, September 1988.
• Gregory, 1987: Steve Gregory, Parallel logic programming in PARLOG: the language and its implementation, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1987
• Hermenegildo, 1986: Manuel V Hermenegildo, An abstract machine for restricted AND-parallel execution of logic programs, Proceedings on Third international conference on logic programming, p.25-39, September 1986, London, United Kingdom
• Hoare, 1985: C. A. R. Hoare, Communicating sequential processes, Prentice-Hall, Inc., Upper Saddle River, NJ, 1985
• Monteiro, 1983: Monteiro, L., A Logic for Distributed Processes, Ph.D. thesis (in Portuguese), Technical Report, Dep. InformAtica, FCT, Universidade Nova de Lisboa, 1983.
• Monteiro, 1984: Monteiro, L., A Proposal for Distributed Programming in Logic, Implementations of Prolog, J. Campbell ed. Ellis Horwood 1984.
• Monteiro, 1986: Monteiro, L., Distributed Logic: A Theory of Distributed Programming in Logic, Dep. Inform,~dca, Universidade Nova de Lisboa, Internal Report, Abril 1986.
• Pereira, 1983: Pereira, F., C-Prolog User's Manual, SRI International, Menlo Park, CA, 1983.
• Pereira, 1984: Pereira, L.; Nasr, R., Delta Prolog: a Distributed Logic Programming Language, Proceedings of Fifth Generation Computer Systems, Tokyo 1984.
• Pereira, 1988: Pereira, L.; Monteiro, L.; Cunha, J.; Aparfcio, J., Concurrency and Communication in Delta Prolog, lEE International Specialists Seminar on the Design and Applications of Parallel Digital Processors, Lisboa, 1988.
• Shapiro, 1989: Ehud Shapiro, The family of concurrent logic programming languages, ACM Computing Surveys (CSUR), v.21 n.3, p.413-510, Sep. 1989 [doi>10.1145/72551.72555]
• Syre, 1985: Syre, Jean Claude.; Westphal, Harald., A Review of Parallel Models for Logic Programming Languages, Technical Report, CA- 07, European Computer Industry Research Center, Muenchen, West Germany, 10, June 1985.
• Ueda, 1985: Ueda, Kazunori, Guarded Horn Clauses, Institute for New Generation Computer Technology, Tokyo, Japan, Technical Report TR- 103, July 1985.
• Warren, 1983: Warren, D., An Abstract Prolog Instruction Set, Technical Note 309, SRI International, Menlo Park, CA, October 1983.

INDEX TERMS

Primary Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications

          Nouns: Concurrent Prolog

Additional Classification:
  F. Theory of Computation
  F.1 COMPUTATION BY ABSTRACT DEVICES
  F.3 LOGICS AND MEANINGS OF PROGRAMS

General Terms:
Languages, Theory