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

Authors:
A. Radensky
Affiliations:
Department of Mathematics and Computer Science, Sofia University, "Anton Ivanov" Street, 5, 1126 Sofia, Bulgaria
Venue:
ACM SIGPLAN Notices
Year:
1990

Citing 4
Cited 4

Foundations of logic programming

Foundations of logic programming
The relation between logic and functional languages: A survey

Journal of Logic Programming
The programming language Oberon

Software—Practice & Experience
Algorithm = logic + control

Communications of the ACM

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

ACM SIGPLAN Notices
Four Dimensions of programming-language independence

ACM SIGPLAN Notices
The promise of multiparadigm languages as pedagogical tools

CSC '93 Proceedings of the 1993 ACM conference on Computer science
Alternation as a programming paradigm

PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 Pascal environment. An experimental implementation and some properties of Paslog are discussed.