Toward Integration of the Imperative and Logic Programming Paradigms: Horn-Clause Programming in the Pascal Environment.

Atanas Radensky Toward Integration of the Imperative and Logic Programming Paradigms: Horn-Clause Programming in the Pascal Environment. 25-34 1990 25 SIGPLAN Notices 2 db/journals/sigplan/sigplan25.html#Radensky90