%A Luis Monteiro
%T A Horn clause-like logic for specifying concurrency
%J Proceedings of the First International Logic Programming Conference
%C Marseille, France
%D September 1982
%E Michel Van\ Caneghem
%K ilpc iclp ilpc82 iclp82 ilpc1 iclp1
%P 1-8
%K distributed logic, concurrent processes, semantic definition

%A Luis Moniz Pereira
%T Logic control with logic
%J Proceedings of the First International Logic Programming Conference
%C Marseille, France
%D September 1982
%E Michel Van\ Caneghem
%K ilpc iclp ilpc82 iclp82 ilpc1 iclp1
%P 9-18
%K Epilog, top-down execution

%A Kenneth M. Kahn
%T A partial evaluator of Lisp programs written in Prolog
%J Proceedings of the First International Logic Programming Conference
%C Marseille, France
%D September 1982
%E Michel Van\ Caneghem
%K ilpc iclp ilpc82 iclp82 ilpc1 iclp1
%P 19-25
%K automatic compiler generation, LM-Prolog, Lisp, specialisation

%A Kennneth A. Bowen
%T Concurrent execution of logic
%J Proceedings of the First International Logic Programming Conference
%C Marseille, France
%D September 1982
%E Michel Van\ Caneghem
%K ilpc iclp ilpc82 iclp82 ilpc1 iclp1
%P 26-30
%K multiprocessor interpreter, message passing,
AND-parallelism, OR-parallelism, Prolog

%A Antonio Porto
%T Epilog: a language for extended programming in logic
%J Proceedings of the First International Logic Programming Conference
%C Marseille, France
%D September 1982
%E Michel Van\ Caneghem
%K ilpc iclp ilpc82 iclp82 ilpc1 iclp1
%P 31-37
%K control, procedural semantics, AND connectives

%A Koichi Furukawa
%A Katsumi Nitta
%A Yuji Yatsumoto
%T Prolog interpreter based on concurrent programming
%J Proceedings of the First International Logic Programming Conference
%C Marseille, France
%D September 1982
%E Michel Van\ Caneghem
%K ilpc iclp ilpc82 iclp82 ilpc1 iclp1
%P 38-44
%K coroutines, AND-process, OR-process, correctness, parallelism

%A C. Percebois
%A J.P. Sansonnet
%T A LISP-machine to implement Prolog
%J Proceedings of the First International Logic Programming Conference
%C Marseille, France
%D September 1982
%E Michel Van\ Caneghem
%K ilpc iclp ilpc82 iclp82 ilpc1 iclp1
%P 45-51
%K semantic gap, hardware, architecture, tree-structured processing

%A Maurice Bruynooghe
%T A note on garbage-collection in Prolog interpreters
%J Proceedings of the First International Logic Programming Conference
%C Marseille, France
%D September 1982
%E Michel Van\ Caneghem
%K ilpc iclp ilpc82 iclp82 ilpc1 iclp1
%P 52-55
%K memory management, backtracking, recognising unnecessary data structures

%A Maarten H. van\ Emden
%T An interpreting algorithm for Prolog programs
%J Proceedings of the First International Logic Programming Conference
%C Marseille, France
%D September 1982
%E Michel Van\ Caneghem
%K ilpc iclp ilpc82 iclp82 ilpc1 iclp1
%P 56-64
%K algorithm development, structure sharing, proof trees

%A Hideyuki Nakashima
%T Prolog/KR language feature
%J Proceedings of the First International Logic Programming Conference
%C Marseille, France
%D September 1982
%E Michel Van\ Caneghem
%K ilpc iclp ilpc82 iclp82 ilpc1 iclp1
%P 65-70
%K higher order control predicates, coroutines, parallelism

%A Norbert Eisinger
%A Simon Kasif
%A Jack Minker
%T Logic programming: a parallel approach
%J Proceedings of the First International Logic Programming Conference
%C Marseille, France
%D September 1982
%E Michel Van\ Caneghem
%K ilpc iclp ilpc82 iclp82 ilpc1 iclp1
%P 71-77
%K multiprocessor system

%A Alain Grumbach
%T Knowledge acquisition in Prolog
%J Proceedings of the First International Logic Programming Conference
%C Marseille, France
%D September 1982
%E Michel Van\ Caneghem
%K ilpc iclp ilpc82 iclp82 ilpc1 iclp1
%P 78-84
%K updating data in knowledge bases, Prolog, natural language,
learning, data bases, expert systems, second order

%A Lynette Hirschman
%A Karl Puder
%T Restriction grammar in Prolog
%J Proceedings of the First International Logic Programming Conference
%C Marseille, France
%D September 1982
%E Michel Van\ Caneghem
%K ilpc iclp ilpc82 iclp82 ilpc1 iclp1
%P 85-90
%K augmented context free grammar, definite clause grammar, DCG,
parser generator

%A Upen S. Chakravarthy
%A Jack Minker
%A Duc Tran
%T Interfacing predicate logic languages and relational databases
%J Proceedings of the First International Logic Programming Conference
%C Marseille, France
%D September 1982
%E Michel Van\ Caneghem
%K ilpc iclp ilpc82 iclp82 ilpc1 iclp1
%P 91-98
%K Prolog, data bases, compiled approach

%A Richard Ennals
%T Teaching logic as a computer language in schools
%J Proceedings of the First International Logic Programming Conference
%C Marseille, France
%D September 1982
%E Michel Van\ Caneghem
%K ilpc iclp ilpc82 iclp82 ilpc1 iclp1
%P 99-104
%K teaching mathematics history using Prolog

%A Jan Sebelik
%A Peter Stepanek
%T Graphs as data in Prolog programs
%J Proceedings of the First International Logic Programming Conference
%C Marseille, France
%D September 1982
%E Michel Van\ Caneghem
%K ilpc iclp ilpc82 iclp82 ilpc1 iclp1
%P 105-109
%K representation of binary graphs, graph theory algorithms

%A John W. Roach
%A Theodore D. Fuller
%T A Prolog simulation of migration decision making
in a less developed country
%J Proceedings of the First International Logic Programming Conference
%C Marseille, France
%D September 1982
%E Michel Van\ Caneghem
%K ilpc iclp ilpc82 iclp82 ilpc1 iclp1
%P 110-115
%K cognitive model, knowledge representation

%A Douglas R. Skuce
%T Module development based on program transformation
and automatic generation of the input-output relation
%J Proceedings of the First International Logic Programming Conference
%C Marseille, France
%D September 1982
%E Michel Van\ Caneghem
%K ilpc iclp ilpc82 iclp82 ilpc1 iclp1
%P 116-122
%K generator based programming, methodology, modularity,
software engineering

%A Zs. Farkas
%A P. Szeredi
%A E. Santane-Toth
%T LDM - a program specification support system
%J Proceedings of the First International Logic Programming Conference
%C Marseille, France
%D September 1982
%E Michel Van\ Caneghem
%K ilpc iclp ilpc82 iclp82 ilpc1 iclp1
%P 123-128
%K software development method, VDM, Prolog extension, specification

%A Maurice Bruynooghe
%T Adding redundancy to obtain
more reliable and more readable Prolog programs
%J Proceedings of the First International Logic Programming Conference
%C Marseille, France
%D September 1982
%E Michel Van\ Caneghem
%K ilpc iclp ilpc82 iclp82 ilpc1 iclp1
%P 129-133
%K annotations, types

%A Toshiaki Kurokawa
%T Logic programming - what does it bring to software engineering?
%J Proceedings of the First International Logic Programming Conference
%C Marseille, France
%D September 1982
%E Michel Van\ Caneghem
%K ilpc iclp ilpc82 iclp82 ilpc1 iclp1
%P 134-138
%K Prolog, programming methodology, software development

%A Z. Markusz
%A A.A. Kaposi
%T A design methodology in Prolog programming
%J Proceedings of the First International Logic Programming Conference
%C Marseille, France
%D September 1982
%E Michel Van\ Caneghem
%K ilpc iclp ilpc82 iclp82 ilpc1 iclp1
%P 139-145
%K controlling complexity, software metrics, software engineering

%A Agneta Eriksson
%A Anna-Lena Johansson
%A Sten-Ake Tarnlund
%T Towards a derivation editor
%J Proceedings of the First International Logic Programming Conference
%C Marseille, France
%D September 1982
%E Michel Van\ Caneghem
%K ilpc iclp ilpc82 iclp82 ilpc1 iclp1
%P 146-151
%K logic programming, automatic theorem proving, correctness proofs

%A Ehud Y. Shapiro
%T Alternation and the computational complexity of logic programs
%J Proceedings of the First International Logic Programming Conference
%C Marseille, France
%D September 1982
%E Michel Van\ Caneghem
%K ilpc iclp ilpc82 iclp82 ilpc1 iclp1
%P 154-163
%K derivations, complexity measures

%A Howard A. Blair
%T The undecidability of two completeness notions
for the ``Negation as failure'' rule in logic programming
%J Proceedings of the First International Logic Programming Conference
%C Marseille, France
%D September 1982
%E Michel Van\ Caneghem
%K ilpc iclp ilpc82 iclp82 ilpc1 iclp1
%P 164-168
%K theory, decision problem, closed world assumption, fixed point semantics

%A Taisuke Sato
%T Negation and semantics of Prolog programs
%J Proceedings of the First International Logic Programming Conference
%C Marseille, France
%D September 1982
%E Michel Van\ Caneghem
%K ilpc iclp ilpc82 iclp82 ilpc1 iclp1
%P 169-174
%K minimum model, closed world assumption, negation as failure

%A Roberto Barbuti
%A Pierpaolo Degano
%A Giorgio Levi
%T Towards an inductionless technique
for proving properties of logic programs
%J Proceedings of the First International Logic Programming Conference
%C Marseille, France
%D September 1982
%E Michel Van\ Caneghem
%K ilpc iclp ilpc82 iclp82 ilpc1 iclp1
%P 175-181
%K Prolog extension, Knuth-Bendix completion algorithm, annotations

%A Harvey Abramson
%T Unification-based conditional binding constructs
%J Proceedings of the First International Logic Programming Conference
%C Marseille, France
%D September 1982
%E Michel Van\ Caneghem
%K ilpc iclp ilpc82 iclp82 ilpc1 iclp1
%P 182-186
%K pattern matching, applicative languages, SASL

%A Paul H. Morris
%T Relational production systems and logic programming
%J Proceedings of the First International Logic Programming Conference
%C Marseille, France
%D September 1982
%E Michel Van\ Caneghem
%K ilpc iclp ilpc82 iclp82 ilpc1 iclp1
%P 187-192
%K problem solving systems, multisets,
operational semantics, procedural interpretation

%A Jan Maluszynski
%A Jorgen Fischer Nilsson
%T A comparison of the logic programming language Prolog
with two-level grammars
%J Proceedings of the First International Logic Programming Conference
%C Marseille, France
%D September 1982
%E Michel Van\ Caneghem
%K ilpc iclp ilpc82 iclp82 ilpc1 iclp1
%P 193-199
%K language generation, controlling nondeterminism

%A Luis Moniz Pereira
%A Paul Sabatier
%A Eugenio Oliviera
%T ORBI - an expert system
for environmental resource evaluation through natural language
%J Proceedings of the First International Logic Programming Conference
%C Marseille, France
%D September 1982
%E Michel Van\ Caneghem
%K ilpc iclp ilpc82 iclp82 ilpc1 iclp1
%P 200-209
%K Prolog application, biophysical resource allocation, explaining

%A M. Joubert
%A M. Fieschi
%A D. Fieschi
%A M. Roux
%T Medical decision aid: logic bases of the system sphinx
%J Proceedings of the First International Logic Programming Conference
%C Marseille, France
%D September 1982
%E Michel Van\ Caneghem
%K ilpc iclp ilpc82 iclp82 ilpc1 iclp1
%P 210-214
%K expert systems, knowledge representation, logic programming, resolution

%A Jean Francois Pique
%T On a semantic representation of natural language systems
%J Proceedings of the First International Logic Programming Conference
%C Marseille, France
%D September 1982
%E Michel Van\ Caneghem
%K ilpc iclp ilpc82 iclp82 ilpc1 iclp1
%P 215-224
%K hierarchy of sentence parts, three valued logic

%A Luis Moniz Pereira
%A Antonio Porto
%T A Prolog implementation of a large system on a small machine
%J Proceedings of the First International Logic Programming Conference
%C Marseille, France
%D September 1982
%E Michel Van\ Caneghem
%K ilpc iclp ilpc82 iclp82 ilpc1 iclp1
%P 225-230
%K Prolog, natural language question answering system

%A Robert Pasero
%T A dialogue in natural language
%J Proceedings of the First International Logic Programming Conference
%C Marseille, France
%D September 1982
%E Michel Van\ Caneghem
%K ilpc iclp ilpc82 iclp82 ilpc1 iclp1
%P 231-239
%K Prolog application, three valued logic, syntactic structure of dialogue

%A Kave Eshghi
%T Application of meta level programming
to fault finding in logic circuits
%J Proceedings of the First International Logic Programming Conference
%C Marseille, France
%D September 1982
%E Michel Van\ Caneghem
%K ilpc iclp ilpc82 iclp82 ilpc1 iclp1
%P 240-246
%K FAULTFINDER, fault diagnosis, logic programming

%A Shigeyuki Takagi
%A Toshio Yokoi
%A Shunichi Uchida
%A Toshiaki Kuorkawa
%A Takashi Hattori
%A Takashi Chikayama
%A Ko Sakai
%A Junichuro Tsuji
%T Overall design of SIMPOS
%J Proceedings of the Second International Logic Programming Conference
%C Uppsala, Sweden
%D July 1984
%E Sten-Ake Tarnlund
%K ilpc iclp ilpc84 iclp84 ilpc2 iclp2
%P 1-12
%K ICOT, PSI machine, ESP, Prolog, fifth generation
%K database, natural language, operating system, logic programming

%A Martin Nilsson
%T Prolog as a tool for optimizing Prolog unifiers
%J Proceedings of the Second International Logic Programming Conference
%C Uppsala, Sweden
%D July 1984
%E Sten-Ake Tarnlund
%K ilpc iclp ilpc84 iclp84 ilpc2 iclp2
%P 13-21
%K unification, optimization, Prolog interpreters

%A Jean Franciose Pique
%T Drawing trees and their equations in Prolog
%J Proceedings of the Second International Logic Programming Conference
%C Uppsala, Sweden
%D July 1984
%E Sten-Ake Tarnlund
%K ilpc iclp ilpc84 iclp84 ilpc2 iclp2
%P 23-33
%K systems of equations, finite and infinite trees

%A Maarten H. van\ Emden
%A John W. Lloyd
%T A logical reconstruction of Prolog II
%J Proceedings of the Second International Logic Programming Conference
%C Uppsala, Sweden
%D July 1984
%E Sten-Ake Tarnlund
%K ilpc iclp ilpc84 iclp84 ilpc2 iclp2
%P 35-40
%K tree rewriting, logic programming, theoretical model

%A Szots Miklos
%T A comparison of two logic programming languages: a case study
%J Proceedings of the Second International Logic Programming Conference
%C Uppsala, Sweden
%D July 1984
%E Sten-Ake Tarnlund
%K ilpc iclp ilpc84 iclp84 ilpc2 iclp2
%P 41-51
%K Prolog, LOBO, planar covering problems, pattern matching

%A Olga Stepankova
%A Peter Stepanek
%T Computation trees and transformations of logic programs
%J Proceedings of the Second International Logic Programming Conference
%C Uppsala, Sweden
%D July 1984
%E Sten-Ake Tarnlund
%K ilpc iclp ilpc84 iclp84 ilpc2 iclp2
%P 53-63
%K complexity, program transformation, performance improvement

%A Michael J. McCord
%T Semantic interpretation for the EPISTLE system
%J Proceedings of the Second International Logic Programming Conference
%C Uppsala, Sweden
%D July 1984
%E Sten-Ake Tarnlund
%K ilpc iclp ilpc84 iclp84 ilpc2 iclp2
%P 65-76
%K natural language processing, semantic interpretation, SEM, slot, frame

%A Veronica Dahl
%A Harvey Abramson
%T On gapping grammars
%J Proceedings of the Second International Logic Programming Conference
%C Uppsala, Sweden
%D July 1984
%E Sten-Ake Tarnlund
%K ilpc iclp ilpc84 iclp84 ilpc2 iclp2
%P 76-88
%K logic grammars, gaps

%A Hideki Hirakawa
%A Takashi Chikayama
%A Koichi Furakawa
%T Eager and lazy enumerations in Concurrent Prolog
%J Proceedings of the Second International Logic Programming Conference
%C Uppsala, Sweden
%D July 1984
%E Sten-Ake Tarnlund
%K ilpc iclp ilpc84 iclp84 ilpc2 iclp2
%P 89-100
%K OR-parallelism, computational model, nondeterminism,
bounded buffer communication, implementation

%A Lars-Henrik Eriksson
%A Mannr Rayner
%T Incorporating mutable arrays into logic programming
%J Proceedings of the Second International Logic Programming Conference
%C Uppsala, Sweden
%D July 1984
%E Sten-Ake Tarnlund
%K ilpc iclp ilpc84 iclp84 ilpc2 iclp2
%P 101-114
%K data structures, logical terms, Prolog, LM-Prolog

%A Joseph A. Goguen
%A Jose Meseguer
%T Equality, types, modules and generics for logic programming
%J Proceedings of the Second International Logic Programming Conference
%C Uppsala, Sweden
%D July 1984
%E Sten-Ake Tarnlund
%K ilpc iclp ilpc84 iclp84 ilpc2 iclp2
%P 115-125
%K Eqlog, logic plus functional programming, abstract data types

%A Hisao Tamaki
%A Taisuke Sato
%T Unfold/fold transformation of logic programs
%J Proceedings of the Second International Logic Programming Conference
%C Uppsala, Sweden
%D July 1984
%E Sten-Ake Tarnlund
%K ilpc iclp ilpc84 iclp84 ilpc2 iclp2
%P 127-138
%K program transformation, equivalence, least model semantics

%A Michael Sintzoff
%T Bounded-horizon success-complete restriction of inference programs
%J Proceedings of the Second International Logic Programming Conference
%C Uppsala, Sweden
%D July 1984
%E Sten-Ake Tarnlund
%K ilpc iclp ilpc84 iclp84 ilpc2 iclp2
%P 139-150
%K logic program control, restrictive predicates

%A David A. Plaisted
%T An efficient bug location algorithm
%J Proceedings of the Second International Logic Programming Conference
%C Uppsala, Sweden
%D July 1984
%E Sten-Ake Tarnlund
%K ilpc iclp ilpc84 iclp84 ilpc2 iclp2
%P 151-157
%K Prolog, debugging, performance

%A Gary Lindstrom
%T OR-parallelism on applicative architectures
%J Proceedings of the Second International Logic Programming Conference
%C Uppsala, Sweden
%D July 1984
%E Sten-Ake Tarnlund
%K ilpc iclp ilpc84 iclp84 ilpc2 iclp2
%P 159-170
%K logic program execution, computational model,
pipelined stream processing, substitution data objects,
parallel unification algorithm

%A L. K. Vale
%A David S. Warren
%T A class of architectures for a Prolog machine
%J Proceedings of the Second International Logic Programming Conference
%C Uppsala, Sweden
%D July 1984
%E Sten-Ake Tarnlund
%K ilpc iclp ilpc84 iclp84 ilpc2 iclp2
%P 172-182
%K parallelism, broadcast link

%A James A. Crammond
%A C. D. F. Miller
%T An architecture of parallel logic languages
%J Proceedings of the Second International Logic Programming Conference
%C Uppsala, Sweden
%D July 1984
%E Sten-Ake Tarnlund
%K ilpc iclp ilpc84 iclp84 ilpc2 iclp2
%P 183-194
%K Parlog, nondeterminism, AND-parallelism, OR-parallelism

%A Peter Kacsuk
%T A highly parallel Prolog interpreter
based on the generalized data flow model
%J Proceedings of the Second International Logic Programming Conference
%C Uppsala, Sweden
%D July 1984
%E Sten-Ake Tarnlund
%K ilpc iclp ilpc84 iclp84 ilpc2 iclp2
%P 195-205
%K OR parallelism, AND parallelism, AND-OR tree, operators

%A G. Berger Sabbatel
%A W. Dang
%A J.C. Ianeselli
%A G.T. Nguyen
%T Unification for a Prolog data base machine
%J Proceedings of the Second International Logic Programming Conference
%C Uppsala, Sweden
%D July 1984
%E Sten-Ake Tarnlund
%K ilpc iclp ilpc84 iclp84 ilpc2 iclp2
%P 207-217
%K OPALE, multiprocessor architecture, preunification, hardware

%A P.G. Bosco
%A G. Giandonato
%A E. Giovanetti
%T A Prolog system for the verification of concurrent processes
against temporal logic specifications
%J Proceedings of the Second International Logic Programming Conference
%C Uppsala, Sweden
%D July 1984
%E Sten-Ake Tarnlund
%K ilpc iclp ilpc84 iclp84 ilpc2 iclp2
%P 219-229
%K Prolog application

%A Leon Sterling
%T Logical levels of problem solving
%J Proceedings of the Second International Logic Programming Conference
%C Uppsala, Sweden
%D July 1984
%E Sten-Ake Tarnlund
%K ilpc iclp ilpc84 iclp84 ilpc2 iclp2
%P 231-242
%K logic programming, domain knowledge, methods and strategies, planning

%A Anna-Lena Johansson
%T Using symmetry for the derivation of logic programs
%J Proceedings of the Second International Logic Programming Conference
%C Uppsala, Sweden
%D July 1984
%E Sten-Ake Tarnlund
%K ilpc iclp ilpc84 iclp84 ilpc2 iclp2
%P 243-251
%K program transformation, derivations

%A Huaimin Sun
%A Liguo Wang
%T A model theory of logic programming
%J Proceedings of the Second International Logic Programming Conference
%C Uppsala, Sweden
%D July 1984
%E Sten-Ake Tarnlund
%K ilpc iclp ilpc84 iclp84 ilpc2 iclp2
%P 253-262
%K SDL, subgoal deduction language, specification, derivation,
theorem provers

%A David A. Wolfram
%A Michael J. Maher
%A Jean-Louis Lassez
%T A unified treatment of resolution strategies for logic programming
%J Proceedings of the Second International Logic Programming Conference
%C Uppsala, Sweden
%D July 1984
%E Sten-Ake Tarnlund
%K ilpc iclp ilpc84 iclp84 ilpc2 iclp2
%P 263-276
%K unification theorem, completeness of negation as failure rule

%A Yoav Shoham
%T FAME: a Prolog program that solves problems in combinatorics
%J Proceedings of the Second International Logic Programming Conference
%C Uppsala, Sweden
%D July 1984
%E Sten-Ake Tarnlund
%K ilpc iclp ilpc84 iclp84 ilpc2 iclp2
%P 277-288
%K logic programming applications

%A Alan Littleford
%T A MYCIN-like expert system in Prolog
%J Proceedings of the Second International Logic Programming Conference
%C Uppsala, Sweden
%D July 1984
%E Sten-Ake Tarnlund
%K ilpc iclp ilpc84 iclp84 ilpc2 iclp2
%P 289-300
%K DOC, computer system crash diagnosis, PR1ME, Prime

%A Krysia Broda
%A Steve Gregory
%T Parlog for discrete event simulation
%J Proceedings of the Second International Logic Programming Conference
%C Uppsala, Sweden
%D July 1984
%E Sten-Ake Tarnlund
%K ilpc iclp ilpc84 iclp84 ilpc2 iclp2
%P 301-312
%K process interaction simulation, concurrent processes, message passing

%A Nachum Dershowitz
%A N. Alan Josephson
%T Logic programming by completion
%J Proceedings of the Second International Logic Programming Conference
%C Uppsala, Sweden
%D July 1984
%E Sten-Ake Tarnlund
%K ilpc iclp ilpc84 iclp84 ilpc2 iclp2
%P 313-320
%K Knuth-Bendix completion procedure, term rewriting, rewrite rules

%A Katsuhiko Nakamura
%T Associative concurrent evaluation of logic programs
%J Proceedings of the Second International Logic Programming Conference
%C Uppsala, Sweden
%D July 1984
%E Sten-Ake Tarnlund
%K ilpc iclp ilpc84 iclp84 ilpc2 iclp2
%P 321-331
%K H-Prolog, depth-first evaluation, heuristic evaluation

%A Jacob Levy
%T A unification algorithm for Concurrent Prolog
%J Proceedings of the Second International Logic Programming Conference
%C Uppsala, Sweden
%D July 1984
%E Sten-Ake Tarnlund
%K ilpc iclp ilpc84 iclp84 ilpc2 iclp2
%P 333-341
%K OR parallelism, implementation, efficiency

%A Y. Bekkers
%A B. Canet
%A O. Ridoux
%A L. Ungaro
%T A memory management machine for Prolog interpreters
%J Proceedings of the Second International Logic Programming Conference
%C Uppsala, Sweden
%D July 1984
%E Sten-Ake Tarnlund
%K ilpc iclp ilpc84 iclp84 ilpc2 iclp2
%P 343-353
%K nondeterminism, indeterminism, garbage collection, backtracking

%A Kazuhiro Fuchi
%A Koichi Furukawa
%T The role of logic programming
in the Fifth Generation Computer Project
%J Proceedings of the Third International Conference on Logic Programming
%C London, England
%D July 1986
%E Ehud Shapiro
%O published as Lecture Notes in Computer Science 225
by Springer-Verlag
%K ilpc iclp ilpc86 iclp86 ilpc3 iclp3
%P 1-24

%A Manuel V. Hermenegildo
%T An abstract machine for restricted AND-parallel execution
of logic programs
%J Proceedings of the Third International Conference on Logic Programming
%C London, England
%D July 1986
%E Ehud Shapiro
%O published as Lecture Notes in Computer Science 225
by Springer-Verlag
%K ilpc iclp ilpc86 iclp86 ilpc3 iclp3
%P 25-39

%A Manuel V. Hermenegildo
%A Roger I. Nasr
%T Efficient management of backtracking in AND-parallelism
%J Proceedings of the Third International Conference on Logic Programming
%C London, England
%D July 1986
%E Ehud Shapiro
%O published as Lecture Notes in Computer Science 225
by Springer-Verlag
%K ilpc iclp ilpc86 iclp86 ilpc3 iclp3
%P 40-54

%A Yow-Jian Lin
%A Vipin Kumar
%A Clement Leung
%T An intelligent backtracking algorithm
for parallel execution of logic programs
%J Proceedings of the Third International Conference on Logic Programming
%C London, England
%D July 1986
%E Ehud Shapiro
%O published as Lecture Notes in Computer Science 225
by Springer-Verlag
%K ilpc iclp ilpc86 iclp86 ilpc3 iclp3
%P 55-68

%A Luis Moniz Pereira
%A Luis Monteiro
%A Jose Cunha
%A Joaquim N. Aparicio
%T Delta Prolog: a distributed backtracking extension with events
%J Proceedings of the Third International Conference on Logic Programming
%C London, England
%D July 1986
%E Ehud Shapiro
%O published as Lecture Notes in Computer Science 225
by Springer-Verlag
%K ilpc iclp ilpc86 iclp86 ilpc3 iclp3
%P 69-83

%A Hasao Tamaki
%A Taisuke Sato
%T OLD resolution with tabulation
%J Proceedings of the Third International Conference on Logic Programming
%C London, England
%D July 1986
%E Ehud Shapiro
%O published as Lecture Notes in Computer Science 225
by Springer-Verlag
%K ilpc iclp ilpc86 iclp86 ilpc3 iclp3
%P 84-98

%A Petr Stepanek
%A Olga Stepankova
%T Logic programs and alternation
%J Proceedings of the Third International Conference on Logic Programming
%C London, England
%D July 1986
%E Ehud Shapiro
%O published as Lecture Notes in Computer Science 225
by Springer-Verlag
%K ilpc iclp ilpc86 iclp86 ilpc3 iclp3
%P 99-106

%A D.A. Wolfram
%T Intractable unifiability problems and backtracking
%J Proceedings of the Third International Conference on Logic Programming
%C London, England
%D July 1986
%E Ehud Shapiro
%O published as Lecture Notes in Computer Science 225
by Springer-Verlag
%K ilpc iclp ilpc86 iclp86 ilpc3 iclp3
%P 107-121

%A Heikki Mannila
%A Esko Ukkonen
%T On the complexity of unification sequences
%J Proceedings of the Third International Conference on Logic Programming
%C London, England
%D July 1986
%E Ehud Shapiro
%O published as Lecture Notes in Computer Science 225
by Springer-Verlag
%K ilpc iclp ilpc86 iclp86 ilpc3 iclp3
%P 122-133

%A Peter Kursawe
%T How to invent a Prolog machine
%J Proceedings of the Third International Conference on Logic Programming
%C London, England
%D July 1986
%E Ehud Shapiro
%O published as Lecture Notes in Computer Science 225
by Springer-Verlag
%K ilpc iclp ilpc86 iclp86 ilpc3 iclp3
%P 134-148

%A Ian Foster
%A Steve Gregory
%A Graem Ringwood
%A Ken Satoh
%T A sequential implementation of PARLOG
%J Proceedings of the Third International Conference on Logic Programming
%C London, England
%D July 1986
%E Ehud Shapiro
%O published as Lecture Notes in Computer Science 225
by Springer-Verlag
%K ilpc iclp ilpc86 iclp86 ilpc3 iclp3
%P 149-156

%A Jacob Levy
%T A GHC abstract machine and instruction set
%J Proceedings of the Third International Conference on Logic Programming
%C London, England
%D July 1986
%E Ehud Shapiro
%O published as Lecture Notes in Computer Science 225
by Springer-Verlag
%K ilpc iclp ilpc86 iclp86 ilpc3 iclp3
%P 157-171

%A Ian Robinson
%T A Prolog processor based on a pattern matching memory device
%J Proceedings of the Third International Conference on Logic Programming
%C London, England
%D July 1986
%E Ehud Shapiro
%O published as Lecture Notes in Computer Science 225
by Springer-Verlag
%K ilpc iclp ilpc86 iclp86 ilpc3 iclp3
%P 172-179

%A Matthew Huntbach
%T An improved version of Shapiro's model inference system
%J Proceedings of the Third International Conference on Logic Programming
%C London, England
%D July 1986
%E Ehud Shapiro
%O published as Lecture Notes in Computer Science 225
by Springer-Verlag
%K ilpc iclp ilpc86 iclp86 ilpc3 iclp3
%P 180-187

%A Kazuhisa Kawai
%A Riichiro Mizoguchi
%A Osamu Kakusho
%A Jun'ichi Toyoda
%T A framework for ICAI systems
based on inductive inference and logic programming
%J Proceedings of the Third International Conference on Logic Programming
%C London, England
%D July 1986
%E Ehud Shapiro
%O published as Lecture Notes in Computer Science 225
by Springer-Verlag
%K ilpc iclp ilpc86 iclp86 ilpc3 iclp3
%P 188-202

%A Luis Moniz Pereira
%T Rational debugging in logic programming
%J Proceedings of the Third International Conference on Logic Programming
%C London, England
%D July 1986
%E Ehud Shapiro
%O published as Lecture Notes in Computer Science 225
by Springer-Verlag
%K ilpc iclp ilpc86 iclp86 ilpc3 iclp3
%P 203-210

%A Randy Goebel
%A Koichi Furakawa
%A David Poole
%T Using definite clauses and integrity constraints
as the basis for a theory formation approach to diagnostic reasoning
%J Proceedings of the Third International Conference on Logic Programming
%C London, England
%D July 1986
%E Ehud Shapiro
%O published as Lecture Notes in Computer Science 225
by Springer-Verlag
%K ilpc iclp ilpc86 iclp86 ilpc3 iclp3
%P 211-222

%A J. Jaffar
%A Jean-Louis Lassez
%A M.J. Maher
%T Some issues and trends in the semantics of logic programming
%J Proceedings of the Third International Conference on Logic Programming
%C London, England
%D July 1986
%E Ehud Shapiro
%O published as Lecture Notes in Computer Science 225
by Springer-Verlag
%K ilpc iclp ilpc86 iclp86 ilpc3 iclp3
%P 223-241

%A Akikazu Takeuchi
%A Koichi Furukawa
%T Parallel logic programming languages
%J Proceedings of the Third International Conference on Logic Programming
%C London, England
%D July 1986
%E Ehud Shapiro
%O published as Lecture Notes in Computer Science 225
by Springer-Verlag
%K ilpc iclp ilpc86 iclp86 ilpc3 iclp3
%P 242-254

%A Rong Yang
%A Hideo Aiso
%T P-Prolog: a parallel language based on exclusive relation
%J Proceedings of the Third International Conference on Logic Programming
%C London, England
%D July 1986
%E Ehud Shapiro
%O published as Lecture Notes in Computer Science 225
by Springer-Verlag
%K ilpc iclp ilpc86 iclp86 ilpc3 iclp3
%P 255-269

%A Kazunori Ueda
%T Making exhaustive search programs deterministic
%J Proceedings of the Third International Conference on Logic Programming
%C London, England
%D July 1986
%E Ehud Shapiro
%O published as Lecture Notes in Computer Science 225
by Springer-Verlag
%K ilpc iclp ilpc86 iclp86 ilpc3 iclp3
%P 270-282

%A Michael Codish
%A Ehud Shapiro
%T Compiling OR-parallelism into AND-parallelism
%J Proceedings of the Third International Conference on Logic Programming
%C London, England
%D July 1986
%E Ehud Shapiro
%O published as Lecture Notes in Computer Science 225
by Springer-Verlag
%K ilpc iclp ilpc86 iclp86 ilpc3 iclp3
%P 283-297

%A Jacob Levy
%T Shared memory execution of committed-choice languages
%J Proceedings of the Third International Conference on Logic Programming
%C London, England
%D July 1986
%E Ehud Shapiro
%O published as Lecture Notes in Computer Science 225
by Springer-Verlag
%K ilpc iclp ilpc86 iclp86 ilpc3 iclp3
%P 298-312

%A Joxan Jaffar
%A Peter J. Stuckey
%T Logic program semantics for programming with equations
%J Proceedings of the Third International Conference on Logic Programming
%C London, England
%D July 1986
%E Ehud Shapiro
%O published as Lecture Notes in Computer Science 225
by Springer-Verlag
%K ilpc iclp ilpc86 iclp86 ilpc3 iclp3
%P 313-326

%A Alberto Martelli
%A Gianfranco Rossi
%T On the semantics of logic programming languages
%J Proceedings of the Third International Conference on Logic Programming
%C London, England
%D July 1986
%E Ehud Shapiro
%O published as Lecture Notes in Computer Science 225
by Springer-Verlag
%K ilpc iclp ilpc86 iclp86 ilpc3 iclp3
%P 327-334

%A Lennart Beckmann
%T Towards a formal semantics
for concurrent logic programming languages
%J Proceedings of the Third International Conference on Logic Programming
%C London, England
%D July 1986
%E Ehud Shapiro
%O published as Lecture Notes in Computer Science 225
by Springer-Verlag
%K ilpc iclp ilpc86 iclp86 ilpc3 iclp3
%P 335-349

%A Michael McCord
%T Design of a Prolog-based machine translation system
%J Proceedings of the Third International Conference on Logic Programming
%C London, England
%D July 1986
%E Ehud Shapiro
%O published as Lecture Notes in Computer Science 225
by Springer-Verlag
%K ilpc iclp ilpc86 iclp86 ilpc3 iclp3
%P 350-374

%A Ralph Butler
%A Ewing Lusk
%A William McCune
%A Ross Overbeek
%T Parallel logic programming for numeric applications
%J Proceedings of the Third International Conference on Logic Programming
%C London, England
%D July 1986
%E Ehud Shapiro
%O published as Lecture Notes in Computer Science 225
by Springer-Verlag
%K ilpc iclp ilpc86 iclp86 ilpc3 iclp3
%P 375-388

%A Harvey Abramson
%T Sequential and concurrent deterministic logic grammars
%J Proceedings of the Third International Conference on Logic Programming
%C London, England
%D July 1986
%E Ehud Shapiro
%O published as Lecture Notes in Computer Science 225
by Springer-Verlag
%K ilpc iclp ilpc86 iclp86 ilpc3 iclp3
%P 389-395

%A Yuji Matsumoto
%T A parallel parsing system for natural language analysis
%J Proceedings of the Third International Conference on Logic Programming
%C London, England
%D July 1986
%E Ehud Shapiro
%O published as Lecture Notes in Computer Science 225
by Springer-Verlag
%K ilpc iclp ilpc86 iclp86 ilpc3 iclp3
%P 396-409

%A Michael J. Maher
%T Equivalences of logic programs
%J Proceedings of the Third International Conference on Logic Programming
%C London, England
%D July 1986
%E Ehud Shapiro
%O published as Lecture Notes in Computer Science 225
by Springer-Verlag
%K ilpc iclp ilpc86 iclp86 ilpc3 iclp3
%P 410-424

%A Phil Vasey
%T Qualified answers and their application to transformation
%J Proceedings of the Third International Conference on Logic Programming
%C London, England
%D July 1986
%E Ehud Shapiro
%O published as Lecture Notes in Computer Science 225
by Springer-Verlag
%K ilpc iclp ilpc86 iclp86 ilpc3 iclp3
%P 425-432

%A M.A. Nait Abdallah
%T Procedures in Horn-clause programming
%J Proceedings of the Third International Conference on Logic Programming
%C London, England
%D July 1986
%E Ehud Shapiro
%O published as Lecture Notes in Computer Science 225
by Springer-Verlag
%K ilpc iclp ilpc86 iclp86 ilpc3 iclp3
%P 433-447

%A Dale A. Miller
%A Gopalan Nadathur
%T Higher-order logic programming
%J Proceedings of the Third International Conference on Logic Programming
%C London, England
%D July 1986
%E Ehud Shapiro
%O published as Lecture Notes in Computer Science 225
by Springer-Verlag
%K ilpc iclp ilpc86 iclp86 ilpc3 iclp3
%P 448-462

%A C.S. Mellish
%T Abstract interpretation of Prolog programs
%J Proceedings of the Third International Conference on Logic Programming
%C London, England
%D July 1986
%E Ehud Shapiro
%O published as Lecture Notes in Computer Science 225
by Springer-Verlag
%K ilpc iclp ilpc86 iclp86 ilpc3 iclp3
%P 463-474

%A Tadashi Kanamori
%A Hirohisa Seki
%T Verification of Prolog programs using an extension of execution
%J Proceedings of the Third International Conference on Logic Programming
%C London, England
%D July 1986
%E Ehud Shapiro
%O published as Lecture Notes in Computer Science 225
by Springer-Verlag
%K ilpc iclp ilpc86 iclp86 ilpc3 iclp3
%P 475-489

%A Saumya K. Debray
%A David S. Warren
%T Detection and optimisation of functional computations in Prolog
%J Proceedings of the Third International Conference on Logic Programming
%C London, England
%D July 1986
%E Ehud Shapiro
%O published as Lecture Notes in Computer Science 225
by Springer-Verlag
%K ilpc iclp ilpc86 iclp86 ilpc3 iclp3
%P 490-504

%A Katsuhiko Nakamura
%T Control of logic program execution based on the functional relations
%J Proceedings of the Third International Conference on Logic Programming
%C London, England
%D July 1986
%E Ehud Shapiro
%O published as Lecture Notes in Computer Science 225
by Springer-Verlag
%K ilpc iclp ilpc86 iclp86 ilpc3 iclp3
%P 505-512

%A Richard Helm
%A Kim Marriott
%T Declarative graphics
%J Proceedings of the Third International Conference on Logic Programming
%C London, England
%D July 1986
%E Ehud Shapiro
%O published as Lecture Notes in Computer Science 225
by Springer-Verlag
%K ilpc iclp ilpc86 iclp86 ilpc3 iclp3
%P 513-527

%A Rajiv Gupta
%T Test-pattern generation for VLSI circuits in a Prolog environment
%J Proceedings of the Third International Conference on Logic Programming
%C London, England
%D July 1986
%E Ehud Shapiro
%O published as Lecture Notes in Computer Science 225
by Springer-Verlag
%K ilpc iclp ilpc86 iclp86 ilpc3 iclp3
%P 528-535

%A C.J. Rawlings
%A W.R. Taylor
%A J. Nyakairu
%A J. Fox
%A M.J.E. Sternberg
%T Using Prolog to represent and reason about protein structure
%J Proceedings of the Third International Conference on Logic Programming
%C London, England
%D July 1986
%E Ehud Shapiro
%O published as Lecture Notes in Computer Science 225
by Springer-Verlag
%K ilpc iclp ilpc86 iclp86 ilpc3 iclp3
%P 536-543

%A Oded Maler
%A Zahava Scherz
%A Ehud Shapiro
%T A new approach for introducing Prolog to naive users
%J Proceedings of the Third International Conference on Logic Programming
%C London, England
%D July 1986
%E Ehud Shapiro
%O published as Lecture Notes in Computer Science 225
by Springer-Verlag
%K ilpc iclp ilpc86 iclp86 ilpc3 iclp3
%P 544-551

%A Takashi Chikayama
%T Programming programming environments: architecture and implementation
%J Proceedings of the Third International Conference on Logic Programming
%C London, England
%D July 1986
%E Ehud Shapiro
%O published as Lecture Notes in Computer Science 225
by Springer-Verlag
%K ilpc iclp ilpc86 iclp86 ilpc3 iclp3
%P 552-553

%A Katherine Morris
%A Jeffrey D. Ullman
%A Allen Van\ Gelder
%T Design overview of the NAIL! system
%J Proceedings of the Third International Conference on Logic Programming
%C London, England
%D July 1986
%E Ehud Shapiro
%O published as Lecture Notes in Computer Science 225
by Springer-Verlag
%K ilpc iclp ilpc86 iclp86 ilpc3 iclp3
%P 554-568

%A Kotagiri Ramamohanarao
%A John Shepherd
%T A superimposed codeword indexing scheme
for very large Prolog databases
%J Proceedings of the Third International Conference on Logic Programming
%C London, England
%D July 1986
%E Ehud Shapiro
%O published as Lecture Notes in Computer Science 225
by Springer-Verlag
%K ilpc iclp ilpc86 iclp86 ilpc3 iclp3
%P 569-576

%A D.S. Moffat
%A P.M.D. Gray
%T Interfacing Prolog to a persistent data store
%J Proceedings of the Third International Conference on Logic Programming
%C London, England
%D July 1986
%E Ehud Shapiro
%O published as Lecture Notes in Computer Science 225
by Springer-Verlag
%K ilpc iclp ilpc86 iclp86 ilpc3 iclp3
%P 577-584

%A P. Boizumault
%T General model for implementing DIF and FREEZE
%J Proceedings of the Third International Conference on Logic Programming
%C London, England
%D July 1986
%E Ehud Shapiro
%O published as Lecture Notes in Computer Science 225
by Springer-Verlag
%K ilpc iclp ilpc86 iclp86 ilpc3 iclp3
%P 585-592

%A Martin Nilsson
%A Hidehiko Tanaka
%T Cyclic tree traversal
%J Proceedings of the Third International Conference on Logic Programming
%C London, England
%D July 1986
%E Ehud Shapiro
%O published as Lecture Notes in Computer Science 225
by Springer-Verlag
%K ilpc iclp ilpc86 iclp86 ilpc3 iclp3
%P 593-599

%A R. Barbuti
%T Completeness of the SLDNF-resolution for a class of logic programs
%J Proceedings of the Third International Conference on Logic Programming
%C London, England
%D July 1986
%E Ehud Shapiro
%O published as Lecture Notes in Computer Science 225
by Springer-Verlag
%K ilpc iclp ilpc86 iclp86 ilpc3 iclp3
%P 600-614

%A Paul J. Voda
%T Choices in, and limitations of, logic programming
%J Proceedings of the Third International Conference on Logic Programming
%C London, England
%D July 1986
%E Ehud Shapiro
%O published as Lecture Notes in Computer Science 225
by Springer-Verlag
%K ilpc iclp ilpc86 iclp86 ilpc3 iclp3
%P 615-623

%A Lee Naish
%T Negation and quantifiers in NU-Prolog
%J Proceedings of the Third International Conference on Logic Programming
%C London, England
%D July 1986
%E Ehud Shapiro
%O published as Lecture Notes in Computer Science 225
by Springer-Verlag
%K ilpc iclp ilpc86 iclp86 ilpc3 iclp3
%P 624-634

%A David L. Poole
%A Randy Goebel
%T Gracefully adding negation and disjunction to Prolog
%J Proceedings of the Third International Conference on Logic Programming
%C London, England
%D July 1986
%E Ehud Shapiro
%O published as Lecture Notes in Computer Science 225
by Springer-Verlag
%K ilpc iclp ilpc86 iclp86 ilpc3 iclp3
%P 635-641

%A Evan Tick
%T Memory performance of Lisp and Prolog programs
%J Proceedings of the Third International Conference on Logic Programming
%C London, England
%D July 1986
%E Ehud Shapiro
%O published as Lecture Notes in Computer Science 225
by Springer-Verlag
%K ilpc iclp ilpc86 iclp86 ilpc3 iclp3
%P 642-649

%A Kenneth A. Bowen
%A Kevin A. Buettner
%A Ilyas Cicekli
%A Andrew Turk
%T The design and implementation
of a high-speed incremental portable Prolog compiler
%J Proceedings of the Third International Conference on Logic Programming
%C London, England
%D July 1986
%E Ehud Shapiro
%O published as Lecture Notes in Computer Science 225
by Springer-Verlag
%K ilpc iclp ilpc86 iclp86 ilpc3 iclp3
%P 650-656

%A Andrew K. Turk
%T Compiler optimizations for the WAM
%J Proceedings of the Third International Conference on Logic Programming
%C London, England
%D July 1986
%E Ehud Shapiro
%O published as Lecture Notes in Computer Science 225
by Springer-Verlag
%K ilpc iclp ilpc86 iclp86 ilpc3 iclp3
%P 557-662

%A Kevin A. Buettner
%T Fast decompiling of compiled Prolog clauses
%J Proceedings of the Third International Conference on Logic Programming
%C London, England
%D July 1986
%E Ehud Shapiro
%O published as Lecture Notes in Computer Science 225
by Springer-Verlag
%K ilpc iclp ilpc86 iclp86 ilpc3 iclp3
%P 663-670

%A Christopher T. Haynes
%T Logic continuations
%J Proceedings of the Third International Conference on Logic Programming
%C London, England
%D July 1986
%E Ehud Shapiro
%O published as Lecture Notes in Computer Science 225
by Springer-Verlag
%K ilpc iclp ilpc86 iclp86 ilpc3 iclp3
%P 671-685

%A Chris Moss
%T Cut and paste - defining the impure primitives of Prolog
%J Proceedings of the Third International Conference on Logic Programming
%C London, England
%D July 1986
%E Ehud Shapiro
%O published as Lecture Notes in Computer Science 225
by Springer-Verlag
%K ilpc iclp ilpc86 iclp86 ilpc3 iclp3
%P 686-694

%A M. Fujita
%A S. Kono
%A H. Tanaka
%A T. Moto-oka
%T Tokio: logic programming language based on temporal logic
and its compilation to Prolog
%J Proceedings of the Third International Conference on Logic Programming
%C London, England
%D July 1986
%E Ehud Shapiro
%O published as Lecture Notes in Computer Science 225
by Springer-Verlag
%K ilpc iclp ilpc86 iclp86 ilpc3 iclp3
%P 695-709

%A Sun Chengzheng
%A Tzu Yungui
%T The OR-forest description of the execution of logic programs
%J Proceedings of the Third International Conference on Logic Programming
%C London, England
%D July 1986
%E Ehud Shapiro
%O published as Lecture Notes in Computer Science 225
by Springer-Verlag
%K ilpc iclp ilpc86 iclp86 ilpc3 iclp3
%P 710-717

%A Jeff Gee
%A Stephen W. Melvin
%A Yale N. Patt
%T Advantages of implementing Prolog
by microprogramming a host general purpose computer
%J Proceedings of the Fourth International Conference on Logic Programming
%C Melbourne, Australia
%D May 1987
%E Jean-Louis Lassez
%K ilpc iclp ilpc87 iclp87 ilpc4 iclp4
%P 1-20
%K VAX 8600, WAM

%A Timothy G. Lindholm
%A Richard A. O'Keefe
%T Efficient implementation of a defensible semantics for dynamic Prolog code
%J Proceedings of the Fourth International Conference on Logic Programming
%C Melbourne, Australia
%D May 1987
%E Jean-Louis Lassez
%K ilpc iclp ilpc87 iclp87 ilpc4 iclp4
%P 21-39
%K assert/retract

%A Mats Carlsson
%T Freeze, indexing and other implementation issues in the WAM
%J Proceedings of the Fourth International Conference on Logic Programming
%C Melbourne, Australia
%D May 1987
%E Jean-Louis Lassez
%K ilpc iclp ilpc87 iclp87 ilpc4 iclp4
%P 40-58

%A Hans Mulder
%A Evan Tick
%T A performance comparison between PLM and an MC68020 Prolog processor
%J Proceedings of the Fourth International Conference on Logic Programming
%C Melbourne, Australia
%D May 1987
%E Jean-Louis Lassez
%K ilpc iclp ilpc87 iclp87 ilpc4 iclp4
%P 59-73

%A Laurent Vieille
%T A database-complete proof procedure based on SLD-resolution
%J Proceedings of the Fourth International Conference on Logic Programming
%C Melbourne, Australia
%D May 1987
%E Jean-Louis Lassez
%K ilpc iclp ilpc87 iclp87 ilpc4 iclp4
%P 74-103
%K SLD-AL

%A Domenico Sacca
%A Carlo Zaniolo
%T Implementation of recursive queries
for a data language based on pure Horn logic
%J Proceedings of the Fourth International Conference on Logic Programming
%C Melbourne, Australia
%D May 1987
%E Jean-Louis Lassez
%K ilpc iclp ilpc87 iclp87 ilpc4 iclp4
%P 104-135
%K magic, minimagic, supplementary magic

%A Catherine Lassez
%A Ken McAloon
%A Graeme S. Port
%T Stratification and knowledge based management
%J Proceedings of the Fourth International Conference on Logic Programming
%C Melbourne, Australia
%D May 1987
%E Jean-Louis Lassez
%K ilpc iclp ilpc87 iclp87 ilpc4 iclp4
%P 136-151

%A Oded Shmueli
%A Shamim Naqvi
%T Set grouping and layering in Horn clause programs
%J Proceedings of the Fourth International Conference on Logic Programming
%C Melbourne, Australia
%D May 1987
%E Jean-Louis Lassez
%K ilpc iclp ilpc87 iclp87 ilpc4 iclp4
%P 152-177
%K startification LDL1

%A Lee Naish
%A James A. Thom
%A Kotagiri Ramamohanarao
%T Concurrent database updates in Prolog
%J Proceedings of the Fourth International Conference on Logic Programming
%C Melbourne, Australia
%D May 1987
%E Jean-Louis Lassez
%K ilpc iclp ilpc87 iclp87 ilpc4 iclp4
%P 178-195
%K assert/retract transactions

%A Joxan Jaffar
%A Spiro Michaylov
%T Methodology and implementation of a CLP system
%J Proceedings of the Fourth International Conference on Logic Programming
%C Melbourne, Australia
%D May 1987
%E Jean-Louis Lassez
%K ilpc iclp ilpc87 iclp87 ilpc4 iclp4
%P 196-218
%K constraint logic programming

%A K. Kunen
%T Answer sets and negation as failure
%J Proceedings of the Fourth International Conference on Logic Programming
%C Melbourne, Australia
%D May 1987
%E Jean-Louis Lassez
%K ilpc iclp ilpc87 iclp87 ilpc4 iclp4
%P 219-228
%K basic sets

%A P. Van\ Hentenryck
%A M. Dincbas
%T Forward checking in logic programming
%J Proceedings of the Fourth International Conference on Logic Programming
%C Melbourne, Australia
%D May 1987
%E Jean-Louis Lassez
%K ilpc iclp ilpc87 iclp87 ilpc4 iclp4
%P 229-256

%A N. Ichiyoshi
%A T. Miyazaki
%A K. Taki
%T A distributed implementation of flat GHC on the multi-PSI
%J Proceedings of the Fourth International Conference on Logic Programming
%C Melbourne, Australia
%D May 1987
%E Jean-Louis Lassez
%K ilpc iclp ilpc87 iclp87 ilpc4 iclp4
%P 257-275

%A Takashi Chikayama
%A Yasunori Kimura
%T Multiple reference management in flat GHC
%J Proceedings of the Fourth International Conference on Logic Programming
%C Melbourne, Australia
%D May 1987
%E Jean-Louis Lassez
%K ilpc iclp ilpc87 iclp87 ilpc4 iclp4
%P 276-293
%K garbage collection

%A Melissa Lam
%A Steve Gregory
%T PARLOG and ALICE: a marriage of convenience
%J Proceedings of the Fourth International Conference on Logic Programming
%C Melbourne, Australia
%D May 1987
%E Jean-Louis Lassez
%K ilpc iclp ilpc87 iclp87 ilpc4 iclp4
%P 294-310

%A Ehud Shapiro
%T An OR-parallel execution algorithm for Prolog and its FCP implementation
%J Proceedings of the Fourth International Conference on Logic Programming
%C Melbourne, Australia
%D May 1987
%E Jean-Louis Lassez
%K ilpc iclp ilpc87 iclp87 ilpc4 iclp4
%P 311-337

%A Masatoshi Sato
%A Hajime Shimizu
%A Akira Matsumoto
%A Kazuaki Rokusawa
%A Atsuhiro Goto
%T KL1 execution model for PIM cluster with shared memory
%J Proceedings of the Fourth International Conference on Logic Programming
%C Melbourne, Australia
%D May 1987
%E Jean-Louis Lassez
%K ilpc iclp ilpc87 iclp87 ilpc4 iclp4
%P 338-355
%K GHC

%A Kazunori Ueda
%T Making exhaustive search programs deterministic, part II
%J Proceedings of the Fourth International Conference on Logic Programming
%C Melbourne, Australia
%D May 1987
%E Jean-Louis Lassez
%K ilpc iclp ilpc87 iclp87 ilpc4 iclp4
%P 356-375

%A H. Tamaki
%T Stream-based compilation of ground I/O Prolog into committed-choice languages
%J Proceedings of the Fourth International Conference on Logic Programming
%C Melbourne, Australia
%D May 1987
%E Jean-Louis Lassez
%K ilpc iclp ilpc87 iclp87 ilpc4 iclp4
%P 376-393

%A Hamid Bacha
%T Meta-level programming: a compiled approach
%J Proceedings of the Fourth International Conference on Logic Programming
%C Melbourne, Australia
%D May 1987
%E Jean-Louis Lassez
%K ilpc iclp ilpc87 iclp87 ilpc4 iclp4
%P 394-410
%K viewpoints

%A Jonas Barklund
%A Hakan Millroth
%T Hash tables in logic programming
%J Proceedings of the Fourth International Conference on Logic Programming
%C Melbourne, Australia
%D May 1987
%E Jean-Louis Lassez
%K ilpc iclp ilpc87 iclp87 ilpc4 iclp4
%P 411-427
%K Tricia, destructive update

%A Carlo Cecchi
%A Dario Sartini
%A Luigia Aiello
%T Evaluating logic programs via set-valued functions
%J Proceedings of the Fourth International Conference on Logic Programming
%C Melbourne, Australia
%D May 1987
%E Jean-Louis Lassez
%K ilpc iclp ilpc87 iclp87 ilpc4 iclp4
%P 428-455

%A D.W. Loveland
%T Near-Horn Prolog
%J Proceedings of the Fourth International Conference on Logic Programming
%C Melbourne, Australia
%D May 1987
%E Jean-Louis Lassez
%K ilpc iclp ilpc87 iclp87 ilpc4 iclp4
%P 456-469
%K nH-Prolog

%A Akihiro Yamamoto
%T A theoretical combination of SLD-resolution and narrowing
%J Proceedings of the Fourth International Conference on Logic Programming
%C Melbourne, Australia
%D May 1987
%E Jean-Louis Lassez
%K ilpc iclp ilpc87 iclp87 ilpc4 iclp4
%P 470-487

%A Richard Helm
%T Inductive and deductive control of logic programs
%J Proceedings of the Fourth International Conference on Logic Programming
%C Melbourne, Australia
%D May 1987
%E Jean-Louis Lassez
%K ilpc iclp ilpc87 iclp87 ilpc4 iclp4
%P 488-512

%A Kemal Ebcioglu
%T An efficient logic programming language and its application to music
%J Proceedings of the Fourth International Conference on Logic Programming
%C Melbourne, Australia
%D May 1987
%E Jean-Louis Lassez
%K ilpc iclp ilpc87 iclp87 ilpc4 iclp4
%P 513-532
%K BSL

%A Shin'ichi Morishita
%A Masayuki Numao
%A Shin(ichi Hirose
%T Symbolical construction of truth valued domain for logic program
%J Proceedings of the Fourth International Conference on Logic Programming
%C Melbourne, Australia
%D May 1987
%E Jean-Louis Lassez
%K ilpc iclp ilpc87 iclp87 ilpc4 iclp4
%P 533-555

%A M.V. Hermenegildo
%T Relating goal-scheduling, precedence and memory management
in AND-parallel execution of logic programs
%J Proceedings of the Fourth International Conference on Logic Programming
%C Melbourne, Australia
%D May 1987
%E Jean-Louis Lassez
%K ilpc iclp ilpc87 iclp87 ilpc4 iclp4
%P 556-575

%A Terry Disz
%A Ewing Lusk
%A Ross Overbeek
%T Experiments with OR-parallel logic programs
%J Proceedings of the Fourth International Conference on Logic Programming
%C Melbourne, Australia
%D May 1987
%E Jean-Louis Lassez
%K ilpc iclp ilpc87 iclp87 ilpc4 iclp4
%P 576-600
%K ANL-WAM, ANL-Prolog

%A Peter Tinker
%A Gary Lindstrom
%T A performance-oriented design for OR-parallel logic programming
%J Proceedings of the Fourth International Conference on Logic Programming
%C Melbourne, Australia
%D May 1987
%E Jean-Louis Lassez
%K ilpc iclp ilpc87 iclp87 ilpc4 iclp4
%P 601-615
%K BOPLOG, BBN Butterfly

%A L.V. Kale
%T The REDUCE-OR process model for parallel evaluation of logic programs
%J Proceedings of the Fourth International Conference on Logic Programming
%C Melbourne, Australia
%D May 1987
%E Jean-Louis Lassez
%K ilpc iclp ilpc87 iclp87 ilpc4 iclp4
%P 616-632
%K ROPM

%A John S. Conery
%T Implementing backward execution in non-deterministic AND-parallel systems
%J Proceedings of the Fourth International Conference on Logic Programming
%C Melbourne, Australia
%D May 1987
%E Jean-Louis Lassez
%K ilpc iclp ilpc87 iclp87 ilpc4 iclp4
%P 633-653

%A Leon Sterling
%A Yossi Nygate
%T PYTHON: an expert squeezer
%J Proceedings of the Fourth International Conference on Logic Programming
%C Melbourne, Australia
%D May 1987
%E Jean-Louis Lassez
%K ilpc iclp ilpc87 iclp87 ilpc4 iclp4
%P 654-674
%K playing bridge

%A Nevin C. Heintze
%A Spiro Michaylov
%A Peter J. Stuckey
%T CLP(R) and some electrical engineering problems
%J Proceedings of the Fourth International Conference on Logic Programming
%C Melbourne, Australia
%D May 1987
%E Jean-Louis Lassez
%K ilpc iclp ilpc87 iclp87 ilpc4 iclp4
%P 675-703
%K constraint logic programming

%A Mark S. Miller
%A Daniel Bobrow
%A Eric Dean Tribble
%A Jacob Levy
%T Logical secrets
%J Proceedings of the Fourth International Conference on Logic Programming
%C Melbourne, Australia
%D May 1987
%E Jean-Louis Lassez
%K ilpc iclp ilpc87 iclp87 ilpc4 iclp4
%P 704-728
%K public-key cryptiography, FCP, Flat Concurrent Prolog

%A Richard A. O'Keefe
%T Finite fixed-point theorems
%J Proceedings of the Fourth International Conference on Logic Programming
%C Melbourne, Australia
%D May 1987
%E Jean-Louis Lassez
%K ilpc iclp ilpc87 iclp87 ilpc4 iclp4
%P 729-743

%A Tadashi Kanamori
%A Kenji Horiuchi
%T Construction of logic programs based on generalised fold/unfold rules
%J Proceedings of the Fourth International Conference on Logic Programming
%C Melbourne, Australia
%D May 1987
%E Jean-Louis Lassez
%K ilpc iclp ilpc87 iclp87 ilpc4 iclp4
%P 744-768

%A Zoltan Somogyi
%T A system of precise modes for logic programs
%J Proceedings of the Fourth International Conference on Logic Programming
%C Melbourne, Australia
%D May 1987
%E Jean-Louis Lassez
%K ilpc iclp ilpc87 iclp87 ilpc4 iclp4
%P 769-787

%A Feliks Kluzniak
%T Type synthesis for ground Prolog
%J Proceedings of the Fourth International Conference on Logic Programming
%C Melbourne, Australia
%D May 1987
%E Jean-Louis Lassez
%K ilpc iclp ilpc87 iclp87 ilpc4 iclp4
%P 788-816

%A J. Zobel
%T Derivation of polymorphic types for Prolog programs
%J Proceedings of the Fourth International Conference on Logic Programming
%C Melbourne, Australia
%D May 1987
%E Jean-Louis Lassez
%K ilpc iclp ilpc87 iclp87 ilpc4 iclp4
%P 816-838

%A Eric Dean Tribble
%A Mark S. Miller
%A Kenneth Kahn
%A Daniel G. Bobrow
%A Curtis Abbott
%A Ehud Shapiro
%T Channels: a generalization of streams
%J Proceedings of the Fourth International Conference on Logic Programming
%C Melbourne, Australia
%D May 1987
%E Jean-Louis Lassez
%K ilpc iclp ilpc87 iclp87 ilpc4 iclp4
%P 839-857

%A M.J. Maher
%T Logic semantics for a class of committed-choice programs
%J Proceedings of the Fourth International Conference on Logic Programming
%C Melbourne, Australia
%D May 1987
%E Jean-Louis Lassez
%K ilpc iclp ilpc87 iclp87 ilpc4 iclp4
%P 858-876
%K ALPS

%A G. Levi
%A C. Palamidessi
%T An approach to the declarative semantics of synchronization
in logic languages
%J Proceedings of the Fourth International Conference on Logic Programming
%C Melbourne, Australia
%D May 1987
%E Jean-Louis Lassez
%K ilpc iclp ilpc87 iclp87 ilpc4 iclp4
%P 877-893

%A Masaru Ohki
%A Akikazu Takeuchi
%A Koichi Furukawa
%T An object-oriented programming language
based on the parallel logic programming language KL1
%J Proceedings of the Fourth International Conference on Logic Programming
%C Melbourne, Australia
%D May 1987
%E Jean-Louis Lassez
%K ilpc iclp ilpc87 iclp87 ilpc4 iclp4
%P 894-909
%K Mandala

%A Ian T. Foster
%T Logic operating systems: design issues
%J Proceedings of the Fourth International Conference on Logic Programming
%C Melbourne, Australia
%D May 1987
%E Jean-Louis Lassez
%K ilpc iclp ilpc87 iclp87 ilpc4 iclp4
%P 910-926
%K Parlog metacall

%A Keith L. Clark
%A Steve Gregory
%T Parlog and Prolog united
%J Proceedings of the Fourth International Conference on Logic Programming
%C Melbourne, Australia
%D May 1987
%E Jean-Louis Lassez
%K ilpc iclp ilpc87 iclp87 ilpc4 iclp4
%P 927-961

%A H. Gallaire
%T Boosting logic programming
%J Proceedings of the Fourth International Conference on Logic Programming
%C Melbourne, Australia
%D May 1987
%E Jean-Louis Lassez
%K ilpc iclp ilpc87 iclp87 ilpc4 iclp4
%P 962-988

%A Fernando C.N. Pereira
%T Grammars and logics of partial information
%J Proceedings of the Fourth International Conference on Logic Programming
%C Melbourne, Australia
%D May 1987
%E Jean-Louis Lassez
%K ilpc iclp ilpc87 iclp87 ilpc4 iclp4
%P 989-1013

%A Kotagiri Ramamohanarao
%A John A. Shepherd
%T Answering queries in deductive database systems
%J Proceedings of the Fourth International Conference on Logic Programming
%C Melbourne, Australia
%D May 1987
%E Jean-Louis Lassez
%K ilpc iclp ilpc87 iclp87 ilpc4 iclp4
%P 1014-1033
%K SIMC, superimposed coding

%A Masahiko Sato
%T Quty: a concurrent language based on logic and function
%J Proceedings of the Fourth International Conference on Logic Programming
%C Melbourne, Australia
%D May 1987
%E Jean-Louis Lassez
%K ilpc iclp ilpc87 iclp87 ilpc4 iclp4
%P 1034-1056