Toward integration of the imperative and logic programming paradigms: Horn-clause programming in the Pascal environment
Atanas Radensky · ACM SIGPLAN Notices · 1990
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.