Abstract
This paper presents an integration of imperative and logic programming, implemented on a PROLOG interpreter. The idea is to exploit the interpreter's execution model to support a procedural style of coding, and to imcorporate the notion of state by means of the use of the internal database. Both the coding style and some experimental structured-like programming constructs are discussed. The proposed integration provides hints to achieve an extensible language (i. e. iterative control structures that may be useful when tail recursion optimization is not possible) and also benefits in learning the equivalence between its declarative and operational semantics.
- {1} Arity PROLOG Language Reference Arity Corporation. 1986.Google Scholar
- {2} PROLOG Programming for Artifical Intelligence; Ivan Bralko Springer-Verlag, NY. 1986. Google ScholarDigital Library
- {3} Understanding Control Flow of PROLOG Programs Lawrence Byrd Proc. Workshop on Logic Programming, Decebren, Hungary, 1880.Google Scholar
- {4} Programming in PROLOG Clocksin W. F. & Mellish C. S. Springer-Verlag, NY, 1884.Google Scholar
- {5} Procedural Algorithms in PROLOG Michael Covington PC Techn. Journal 5-3 pp. 159-164.Google Scholar
- {6} Procedural Metapredicates for PROLOG Delrieux C., Azero, P. & Tohmé, F. Unpublished Report.Google Scholar
- {7} Toward Integration of the Imperative & Logic Programming Paradigms: Horn Clause Programming in the Pascal Environment Atanas Radensky SIGPLAN Notices 25(2). 15-24. Google ScholarDigital Library
- {8} The Art of PROLOG Sterling L. & Shapiro E. MIT Press, MA, 1986.Google Scholar
Index Terms
- Toward integrating imperative and logic programming paradigms: WYSIWYG approach to PROLOG programming
Recommendations
Toward integration of the imperative and logic programming paradigms: Horn-clause programming in the Pascal environment
This paper introduces a method for integrating the imperative and logic programming paradigms. The integration is implemented in the framework of a language named Paslog. Paslog is an extension of Pascal; it supports Horn clause programming in the ...
Comments