Gerard Comyn, Norbert E. Fuchs, Michael J. Ratcliffe
Logic programming enjoys a privileged position. It is firmlyrooted in mathematical logic, yet it is also immenselypractical, as a growing number of users in universities, research institutes, and industry are realizing. Logicprogramming languages, specifically Prolog, have turned outto be ideal as prototyping and application developmentlanguages.This volume presents the proceedings of the Second LogicProgramming Summer School, LPSS'92. The First LogicProgramming Summer School, LPSS '90, addressed thetheoretical foundations of logic programming. This volumefocuses onthe relationship between...
Logic programming enjoys a privileged position. It is firmlyrooted in mathematical logic, yet it is also immenselypractical, as a growing number of us...
