Prolog at the University of Illinois
M.M. Gooley, Laxmikant V. Kalé, David Padua, Balkrishna Ramkumar, Uday S. Reddy, David C. Sehr, W.W. Shu, Benjamin Wan-Sang Wah · 1988
A brief description is given of four logic programming research projects currently underway. Three projects deal with the design of Prolog interpreters and compilers; the other deals with the design of languages that combine the functional programming and the logic programming paradigms and with the transformation of programs written in these languages.>