Cover Image
Read Now

121
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... -- Multiparadigm logic programming -- Non-linear real constraints in constraint logic programming -- A general...”
Cover Image
Read Now

122
Published 2024
Springer Nature Singapore
“...This book constitutes the proceedings of the 17th International Symposium on Functional and Logic...”
Cover Image
Read Now

123
Published 1993
Springer London
Table of Contents: “...Logic Program Synthesis via Proof Planning -- Deductive Synthesis of Programs for Query Answering...”
Cover Image
Read Now

124
by Conery, John S.
Published 1987
Springer US
Table of Contents: “...1 Introduction -- 2 Logic Programming -- 2.1 Syntax -- 2.2 Semantics -- 2.3 Control -- 2.4 Prolog...”
Cover Image
Read Now

125
Published 1994
Springer US
Table of Contents: “... Memory Management in Quintus Prolog -- 4 How Concurrent Logic Programming Could Benefit from Using Linda...”
Cover Image
Read Now

126
by Gupta, Gopal
Published 1994
Springer US
Table of Contents: “...1: Introduction -- 1.1. Logic Programming -- 1.2. Parallel Execution of Logic Programs -- 1.3...”
Cover Image
Read Now

127
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... Versioning Competition Workflow Compiler -- A Sequential Model of Bargaining Reasoning in Logic Programming...”
Cover Image
Read Now

128
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... Programs -- Layer Supported Models of Logic Programs -- Applying ASP to UML Model Validation --...”
Cover Image
Read Now

129
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... Framework for the Declarative Debugging of Functional Logic Programs with Lambda Abstractions...”
Cover Image
Read Now

130
Published 2012
Springer Berlin Heidelberg
Table of Contents: “... Logic Programs.- Semi-negative Abductive Logic Programs with Implicative Integrity Constraints...”
Cover Image
Read Now

131
Published 2015
Springer International Publishing
Table of Contents: “... Translation from MAD into ALM -- Compacting Boolean Formulae for Inference in Probabilistic Logic Programming...”
Cover Image
Read Now

136
by Nienhuys-Cheng, Shan-Hwei
Published 1997
Springer Berlin Heidelberg