Prolog at the University of Illinois

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.<
>