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

4
Published 2004
Springer Berlin Heidelberg
Table of Contents: ... Integration -- On the Security of Individual Data -- Implementing Ordered Choice Logic Programming Using...

5
Published 2011
Springer Berlin Heidelberg
... of logic programming, databases and query languages, declarative programming with logic languages...