Third International Conference on Logic Programming: Imperial College of Science and Technology, London, United Kingdom, July 14–18, 1986 Proceedings

The role of logic programming in the Fifth Generation Computer Project....Pages 1-24
An abstract machine for restricted AND-parallel execution of logic programs....Pages 25-39
Efficient management of backtracking in AND-Parallelism....Pages 40-54
An intelligent backtracking algorithm for parallel execution of logic programs....Pages 55-68
Delta Prolog: A distributed backtracking extension with events....Pages 69-83
OLD resolution with tabulation....Pages 84-98
Logic programs and alternation....Pages 99-106
Intractable unifiability problems and backtracking....Pages 107-121
On the complexity of unification sequences....Pages 122-133
How to invent a Prolog machine....Pages 134-148
A sequential implementation of Parlog....Pages 149-156
A GHC abstract machine and instruction set....Pages 157-171
A Prolog processor based on a pattern matching memory device....Pages 172-179
An improved version of Shapiro's model inference system....Pages 180-187
A framework for ICAI systems based on inductive inference and logic programming....Pages 188-202
Rational debugging in logic programming....Pages 203-210
Using definite clauses and integrity constraints as the basis for a theory formation approach to diagnostic reasoning....Pages 211-222
Some issues and trends in the semantics of logic programming....Pages 223-241
Parallel logic programming languages....Pages 242-254
P-Prolog: A parallel logic language based on exclusive relation....Pages 255-269
Making exhaustive search programs deterministic....Pages 270-282
Compiling OR-parallelism into AND-parallelism....Pages 283-297
Shared memory execution of committed-choice languages....Pages 298-312
Logic program semantics for programming with equations....Pages 313-326
On the semantics of logic programming languages....Pages 327-334
Towards a formal semantics for concurrent logic programming languages....Pages 335-349
Design of a Prolog-based machine translation system....Pages 350-374
Parallel logic programming for numeric applications....Pages 375-388
Sequential and concurrent deterministic logic grammars....Pages 389-395
A parallel parsing system for natural language analysis....Pages 396-409
Equivalences of logic programs....Pages 410-424
Qualified answers and their application to transformation....Pages 425-432
Procedures in Horn-clause programming....Pages 433-447
Higher-order logic programming....Pages 448-462
Abstract interpretation of Prolog programs....Pages 463-474
Verifleation of Prolog programs using an extension of execution....Pages 475-489
Detection and optimization of functional computations in Prolog....Pages 490-504
Control of logic program execution based on the functional relation....Pages 505-512
Declarative graphics....Pages 513-527
Test-pattern generation for VLSI circuits in a Prolog environment....Pages 528-535
Using Prolog to represent and reason about protein structure....Pages 536-543
A New approach for introducing Prolog to naive users....Pages 544-551
Prolog programming environments: Architecture and implementation....Pages 552-553
Design overview of the NAIL! System....Pages 554-568
A superimposed codeword indexing scheme for very large Prolog databases....Pages 569-576
Interfacing Prolog to a persistent data store....Pages 577-584
A general model to implement DIF and FREEZE....Pages 585-592
Cyclic tree traversal....Pages 593-599
Completeness of the SLDNF-resolution for a class of logic programs....Pages 600-614
Choices in, and limitations of, logic programming....Pages 615-623
Negation and quantifiers in NU-Prolog....Pages 624-634
Gracefully adding negation and disjunction to Prolog....Pages 635-641
Memory performance of Lisp and Prolog programs....Pages 642-649
The design and implementation of a high-speed incremental portable Prolog compiler....Pages 650-656
Compiler optimizations for the WAM....Pages 657-662
Fast decompilation of compiled Prolog clauses....Pages 663-670
Logic continuations....Pages 671-685
Cut & Paste — defining the impure primitives of Prolog....Pages 686-694
Tokio: Logic programming language based on temporal logic and its compilation to Prolog....Pages 695-709
The OR-forest description for the execution of logic programs....Pages 710-717