1
Published 2009
Springer Berlin Heidelberg
Table of Contents: ... -- Relational Models for Tabling Logic Programs in a Database -- Integrating XQuery and Logic Programming...

2
Published 2005
Springer Berlin Heidelberg
... discussions of appli- tions of important technologies around logic programming, constraint problem solving...

3
Published 2018
Springer International Publishing
Table of Contents: ... Principles and Heurstic Strategies in Modeling Human Clusters -- Functional and Logic Programming -- Concolic...