Radensky, A. "Toward integration of the imperative and logic programming paradigms: Horn-clause programming in the Pascal environment" pp25-34

[SIGPLAN] (1990) [SIGPLAN] SIGPLAN Notices 25(02) February 1990  

Languages mentioned Paslog {1990} Hybrid of Pascal and Prolog