Logic Programming in Action 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, and industry are realizing..