by Logic Programming Summer School (2nd 1992 Zurich, Switzerland), G. Comyn, Norbert E. Fuchs
"Logic programming enjoys a privileged position. It is firmly rooted in mathematical logic, yet it is also immensely practical, as a growing number of users in universities, research institutes, an…