Toward integrating imperative and logic programming paradigms: WYSIWYG approach to PROLOG programming

Authors:
Claudio Delrieux;Pablo Azero;Fernando Tohme
Affiliations:
Departamento de Ingeniería Eléctrica;Departanxento de Matemática;Departamento de Economía
Venue:
ACM SIGPLAN Notices
Year:
1991

Citing 2
Cited 3

Prolog programming for artificial intelligence

Prolog programming for artificial intelligence
Toward integration of the imperative and logic programming paradigms: Horn-clause programming in the Pascal environment

ACM SIGPLAN Notices

An integrated Prolog programming environment

ACM SIGPLAN Notices
An integrated Prolog programming environment

ACM SIGPLAN Notices
A multiparadigm approach to compiler construction

ACM SIGPLAN Notices

Quantified Score

Hi-index	0.03

Visualization

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.