Towards a formal semantics for concurrent logic programming languages
A method for giving a formal semantics of concurrent logic programming languages is proposed. It is shown how the semantics can be defined in terms of a concurrent execution model, based on Milner's CCS (Calculus of Communicating Systems). The method is illustrated by describing the main features of Relational Language, Concurrent Prolog and Guarded Horn Clauses.
KeywordsLogic Program Operational Semantic Formal Semantic Horn Clause Communicate Sequential Process
Unable to display preview. Download preview PDF.
- [Be, 85]Beckman, L: Semantics for a Computational Model for Parallel Execution of Logic Programs, Upmail Technical Report 31Google Scholar
- [BeGuWæ, 86]Beckman L, Gustavsson R, Wærn A: An Algebraic Model of Parallel Execution of Logic Programs, In Proceedings of the Symposium of Logics in Computer Science, Cambridge, June 1986Google Scholar
- [ClGr, 81]Clark K L, Gregory S: A Relational Language for Parallel Programming, In Proceedings of the ACM conference on Functional Programming Languages and Computer Architecture, Oct 1981Google Scholar
- [Ho, 78]Hoare C A R: Communicating Sequential Processes, C ACM, vol 28, No 8 Google Scholar
- [Ll, 84]Lloyd, J W: Foundations of Logic Programming,Springer VerlagGoogle Scholar
- [Mi, 80]Milner R: A Calculus of Communicating Systems,LNCS Vol 92, Springer Verlag, 1980Google Scholar
- [Pe, 81]Peterson, J L: Petri Net Theory and the Modeling of Systems,Prentice-HallGoogle Scholar
- [Sa, 85]Saraswat, V: An operational semantics for CP[←, |, &], Report, DCS Carnegie-Mellon University, 1985Google Scholar
- [Ue, 85]Ueda, K: Concurrent Prolog Re-Examined,ICOT Technical Report TR-102Google Scholar
- [Ue, 85:2]Ueda, K: Guarded Horn Clauses,ICOT Technical Report TR-103Google Scholar
- [Sh, 83]Shapiro, E: A Subset of Concurrent Prolog and its Interpreter,ICOT Technical Report, TR-003Google Scholar
- [Wæ, 85]Wærn, A: A Computational Model for Parallel Execution of Horn Clause Programs,To appear as a Upmail Student ReportGoogle Scholar