%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