Logic Programming New Frontiers
Latest Publications

TOTAL DOCUMENTS

13

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Springer Netherlands

9789401051316, 9789401125628

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Extending the Integrity Maintenance Capability in Deductive Databases

Logic Programming New Frontiers ◽

10.1007/978-94-011-2562-8_4 ◽

1992 ◽

pp. 75-111

Author(s):

Subrata Kumar Das ◽

M. H. Williams

Keyword(s):

Deductive Databases

Download Full-text

Event Abstraction Debuggers for Layered Systems in Prolog

Logic Programming New Frontiers ◽

10.1007/978-94-011-2562-8_3 ◽

1992 ◽

pp. 56-74

Author(s):

Andrew Casson

Keyword(s):

Layered Systems

Download Full-text

A Model for OR-Parallel Prolog Execution using Graph Reduction

Logic Programming New Frontiers ◽

10.1007/978-94-011-2562-8_11 ◽

1992 ◽

pp. 227-252 ◽

Author(s):

S. M. S. Syed-Mustaffa

Keyword(s):

Graph Reduction

Download Full-text

Using Prolog to Animate Mathematics

Logic Programming New Frontiers ◽

10.1007/978-94-011-2562-8_8 ◽

1992 ◽

pp. 173-188

Author(s):

Ron Knott

Download Full-text

Some Control Engineering Applications of Prolog

Logic Programming New Frontiers ◽

10.1007/978-94-011-2562-8_6 ◽

1992 ◽

pp. 136-158 ◽

Author(s):

P. W. Grant ◽

C. P. Jobling ◽

C. Rezvani

Keyword(s):

Engineering Applications ◽

Control Engineering

Download Full-text

GAP: An Exercise in Model Oriented Programming

Logic Programming New Frontiers ◽

10.1007/978-94-011-2562-8_7 ◽

1992 ◽

pp. 159-172

Author(s):

Keith Harrison

Download Full-text

Construction of CLP Programs

Logic Programming New Frontiers ◽

10.1007/978-94-011-2562-8_5 ◽

1992 ◽

pp. 112-135 ◽

Author(s):

Yves Deville ◽

Pascal van Hentenryck

Download Full-text

Reconciling Systems and Deductive Capabilities in Knowledge Based Systems Using Logic Programming

Logic Programming New Frontiers ◽

10.1007/978-94-011-2562-8_12 ◽

1992 ◽

pp. 253-281

Author(s):

Hamish Taylor

Keyword(s):

Logic Programming ◽

Knowledge Based Systems ◽

Knowledge Based

Download Full-text

A Framework for the Principled Debugging of Prolog Programs: How to Debug Non-Terminating Programs

Logic Programming New Frontiers ◽

10.1007/978-94-011-2562-8_2 ◽

1992 ◽

pp. 22-55 ◽

Author(s):

Paul Brna ◽

Alan Bundy ◽

Helen Pain

Keyword(s):

Prolog Programs

Download Full-text

Term-Encodable Description Spaces

Logic Programming New Frontiers ◽

10.1007/978-94-011-2562-8_9 ◽

1992 ◽

pp. 189-207 ◽

Author(s):

Chris Mellish

Download Full-text