Cover Image
Read Now

1
Published 1985
Springer Netherlands
Table of Contents: “...1 Introductory Papers to Logic Programming and Prolog -- 2 Theoretical Issues of Logic Programming...”
Cover Image
Read Now

2
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... terms in Prolog -- Compiling Flang -- FIDO: Finite domain consistency techniques in logic programming...”
Cover Image
Read Now

3
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... of Prolog for Modal Logic Programming -- Probabilistic Choice Operators as Global Constraints: Application...”
Cover Image
Read Now

4
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... Disambiguation -- Development and Application of Logical Actors Mathematical Apparatus for Logic Programming...”
Cover Image
Read Now

5
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... for Deductive Databases by Logic Programming -- Reasoning about Actions with CHRs and Finite Domain Constraints...”
Cover Image
Read Now

6
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... Programming -- A Simple Scheme for Implementing Tabled Logic Programming Systems Based on Dynamic Reordering...”
Cover Image
Read Now

7
by Lloyd, John W.
Published 1987
Springer Berlin Heidelberg
“...In the two and a half years since the frrst edition of this book was published, the field of logic...”
Cover Image
Read Now

8
Published 1999
Springer Berlin Heidelberg
Table of Contents: “...I. Computing and Programming -- 1 Concurrent and Agent Programming -- Logic Programming and Multi...”
Cover Image
Read Now

9
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... Programming problems -- Inductive logic programming and constraint logic programming (abstract) -- Learning...”
Cover Image
Read Now

10
by Ceri, Stefano, Gottlob, Georg, Tanca, Letizia
Published 1990
Springer Berlin Heidelberg
Table of Contents: “...1 Logic Programming and Databases: An Overview -- 1.1 Logic Programming as Query Language -- 1.2...”
Cover Image
Read Now

11
by Lloyd, J. W.
Published 1984
Springer Berlin Heidelberg
Table of Contents: “...1. Declarative Semantics -- §1. Introduction -- §2. Logic programs -- §3. Models of logic programs...”
Cover Image
Read Now

12
Published 1986
Springer Berlin Heidelberg
Table of Contents: “... logical formulae -- Temporal logic programming language Tokio programming in Tokio -- Implementation...”
Cover Image
Read Now

13
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... of Learning Efficiency -- Efficient Data Structures for Inductive Logic Programming -- Graph Kernels...”
Cover Image
Read Now

14
Published 1991
Springer Berlin Heidelberg
Table of Contents: “...Logic programming with sequent systems -- Predicates as parameters in logic programming -- A survey...”
Cover Image
Read Now

15
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... in extended logic programming languages -- Terminological reasoning and partial inductive definitions -- GCLA...”
Cover Image
Read Now

16
Published 1989
Springer Berlin Heidelberg
Table of Contents: “... inheritance network -- Logic programming debugger using control flow specification -- ALEX: The logic...”
Cover Image
Read Now

17
Published 1992
Springer Berlin Heidelberg
Table of Contents: “...Theory and practice in logic programming -- Constraint Logic Programming -- Scheduling...”
Cover Image
Read Now

18
Published 1990
Springer Berlin Heidelberg
Table of Contents: “... implementations of algebraic specifications -- Multi-modal logic programming using equational and order-sorted...”
Cover Image
Read Now

19
Published 1999
Springer Berlin Heidelberg
Table of Contents: “...Semantics and Types in Functional Logic Programming -- Polytypic Programming With Ease -- Type...”
Cover Image
Read Now

20
Published 1987
Springer Berlin Heidelberg
Table of Contents: “... -- Kore : A hybrid knowledge programming environment for decision support based on a logic programming...”