%A P. Borgwardt
%T Parallel Prolog using stack segments on shared-memory multiprocessors
%J Proceedings of the First IEEE Symposium on Logic Programming
%C Atlantic City, New Jersey
%D February 1984
%K islp islp1 islp84
%P 2-11

%A David S. Warren
%A M. Ahamad
%A S. K. Debray
%A L.V. Vale
%T Executing distributed Prolog programs on a broadcast network
%J Proceedings of the First IEEE Symposium on Logic Programming
%C Atlantic City, New Jersey
%D February 1984
%K islp islp1 islp84
%P 12-21

%A H. Nakagawa
%T AND parallel Prolog with divided assertion set
%J Proceedings of the First IEEE Symposium on Logic Programming
%C Atlantic City, New Jersey
%D February 1984
%K islp islp1 islp84
%P 22-28

%A Evan Tick
%A David H.D. Warren
%T Towards a pipelined Prolog processor
%J Proceedings of the First IEEE Symposium on Logic Programming
%C Atlantic City, New Jersey
%D February 1984
%K islp islp1 islp84
%P 29-40

%A N. Tamura
%A Y. Kaneda
%T Implementing parallel Prolog on a multiprocessor machine
%J Proceedings of the First IEEE Symposium on Logic Programming
%C Atlantic City, New Jersey
%D February 1984
%K islp islp1 islp84
%P 42-48

%A A. Ciepielewski
%A Seif Haridi
%T Control of activities in the OR-Parallel token machine
%J Proceedings of the First IEEE Symposium on Logic Programming
%C Atlantic City, New Jersey
%D February 1984
%K islp islp1 islp84
%P 49-57

%A S. Taylor
%A A. Lowry
%A G.Q. Maguire,\ Jr.
%A S.J. Stolfo
%T Logic programming using parallel associative operations
%J Proceedings of the First IEEE Symposium on Logic Programming
%C Atlantic City, New Jersey
%D February 1984
%K islp islp1 islp84
%P 58-68

%A Tom Khabaza
%T Negation as failure and parallellism
%J Proceedings of the First IEEE Symposium on Logic Programming
%C Atlantic City, New Jersey
%D February 1984
%K islp islp1 islp84
%P 70-75

%A D. Gelernter
%T A note on systems programming in Concurrent Prolog
%J Proceedings of the First IEEE Symposium on Logic Programming
%C Atlantic City, New Jersey
%D February 1984
%K islp islp1 islp84
%P 76-82

%A Ehud Y. Shapiro
%A C. Mierowsky
%T Fair, biased, and self-balancing merge operators:
their specification and implementation in Concurrent Prolog
%J Proceedings of the First IEEE Symposium on Logic Programming
%C Atlantic City, New Jersey
%D February 1984
%K islp islp1 islp84
%P 83-91

%A M.V. Aponte
%A J.A. Fernandez
%A P. Roussel
%T Editing first-order proofs: programmed rules vs. derived rules
%J Proceedings of the First IEEE Symposium on Logic Programming
%C Atlantic City, New Jersey
%D February 1984
%K islp islp1 islp84
%P 92-98

%A L. Hellerstein
%A Ehud Y. Shapiro
%T Algorithmic programming in Concurrent Prolog: the MAXFLOW experience
%J Proceedings of the First IEEE Symposium on Logic Programming
%C Atlantic City, New Jersey
%D February 1984
%K islp islp1 islp84
%P 99-116

%A T. Miyachi
%A S. Kunifuji
%A H. Kitakami
%A K. Furukawa
%A A. Takeuchi
%A H. Yokota
%T A knowledge assimilation method for logic databases
%J Proceedings of the First IEEE Symposium on Logic Programming
%C Atlantic City, New Jersey
%D February 1984
%K islp islp1 islp84
%P 118-125

%A H. Nakashima
%T Knowledge representation in Prolog/KR
%J Proceedings of the First IEEE Symposium on Logic Programming
%C Atlantic City, New Jersey
%D February 1984
%K islp islp1 islp84
%P 126-130

%A H. Kitakami
%A S. Kunifuji
%A T. Miyachi
%A K. Furukawa
%T A methodology for implementation of a knowledge acquisition system
%J Proceedings of the First IEEE Symposium on Logic Programming
%C Atlantic City, New Jersey
%D February 1984
%K islp islp1 islp84
%P 131-139

%A P.A. Subrahmanyam
%A J-H. You
%T Conceptual basis and evaluation strategies for
integrating functional and logic programming
%J Proceedings of the First IEEE Symposium on Logic Programming
%C Atlantic City, New Jersey
%D February 1984
%K islp islp1 islp84
%P 144-153

%A Matts Carlsson
%T On implementing Prolog in functional programming
%J Proceedings of the First IEEE Symposium on Logic Programming
%C Atlantic City, New Jersey
%D February 1984
%K islp islp1 islp84
%P 154-159

%A R. Barbuti
%A M. Bellia
%A Giorgio Levi
%A M. Martelli
%T On the integration of logic programming and functional programming
%J Proceedings of the First IEEE Symposium on Logic Programming
%C Atlantic City, New Jersey
%D February 1984
%K islp islp1 islp84
%P 160-166

%A Gary Lindstrom
%A P. Panangden
%T Stream-based execution of logic programming
%J Proceedings of the First IEEE Symposium on Logic Programming
%C Atlantic City, New Jersey
%D February 1984
%K islp islp1 islp84
%P 168-176

%A Bruce Smith
%T Logic programming on an FFP machine
%J Proceedings of the First IEEE Symposium on Logic Programming
%C Atlantic City, New Jersey
%D February 1984
%K islp islp1 islp84
%P 177-186

%A Uday S. Reddy
%T Transformation of logic programs into functional programs
%J Proceedings of the First IEEE Symposium on Logic Programming
%C Atlantic City, New Jersey
%D February 1984
%K islp islp1 islp84
%P 187-196

%A David S. Warren
%T Efficient Prolog memory management for flexible control strategies
%J Proceedings of the First IEEE Symposium on Logic Programming
%C Atlantic City, New Jersey
%D February 1984
%K islp islp1 islp84
%P 198-202

%A Michael J. Wise
%A David M. Powers
%T Indexing Prolog clauses via superimposed code words and
field encoded words
%J Proceedings of the First IEEE Symposium on Logic Programming
%C Atlantic City, New Jersey
%D February 1984
%K islp islp1 islp84
%P 203-211

%A Mark E. Stickel
%T A Prolog technology theorem prover
%J Proceedings of the First IEEE Symposium on Logic Programming
%C Atlantic City, New Jersey
%D February 1984
%K islp islp1 islp84
%P 212-218

%A K. Uehara
%A R. Ochitani
%A O. Kakusho
%A J. Toyoda
%T A bottom-up parser based on predicate logic:
a survey of the formalism and its implementation technique
%J Proceedings of the First IEEE Symposium on Logic Programming
%C Atlantic City, New Jersey
%D February 1984
%K islp islp1 islp84
%P 220-227

%A Antonio Porto
%A M. Filgueiras
%T Natural language semantics: a logic programming approach
%J Proceedings of the First IEEE Symposium on Logic Programming
%C Atlantic City, New Jersey
%D February 1984
%K islp islp1 islp84
%P 228-233

%A Harvey Abramson
%T Definite clause translation grammars
%J Proceedings of the First IEEE Symposium on Logic Programming
%C Atlantic City, New Jersey
%D February 1984
%K islp islp1 islp84
%P 233-240

%A Kenneth M. Kahn
%T A primitive for the control of logic programs
%J Proceedings of the First IEEE Symposium on Logic Programming
%C Atlantic City, New Jersey
%D February 1984
%K islp islp1 islp84
%P 242-251

%A D.R. Brough
%A Maarten H. van\ Emden
%T Dataflow, flowcharts, and LUCID-style programming in Prolog
%J Proceedings of the First IEEE Symposium on Logic Programming
%C Atlantic City, New Jersey
%D February 1984
%K islp islp1 islp84
%P 252-258

%A H. Tamaki
%T Semantics of a logic programming language
with a reducability predicate
%J Proceedings of the First IEEE Symposium on Logic Programming
%C Atlantic City, New Jersey
%D February 1984
%K islp islp1 islp84
%P 259-264

%A C. Zaniolo
%T Object-oriented programming in Prolog
%J Proceedings of the First IEEE Symposium on Logic Programming
%C Atlantic City, New Jersey
%D February 1984
%K islp islp1 islp84
%P 265-270

%A David A. Plaisted
%T The occur-check problem in Prolog
%J Proceedings of the First IEEE Symposium on Logic Programming
%C Atlantic City, New Jersey
%D February 1984
%K islp islp1 islp84
%P 272-280

%A Neil D. Jones
%A Alan Mycroft
%T Stepwise development of operational and denotational semantics
for Prolog
%J Proceedings of the First IEEE Symposium on Logic Programming
%C Atlantic City, New Jersey
%D February 1984
%K islp islp1 islp84
%P 281-298

%A Prakeesh Mishra
%T Towards a theory of types in Prolog
%J Proceedings of the First IEEE Symposium on Logic Programming
%C Atlantic City, New Jersey
%D February 1984
%K islp islp1 islp84
%P 289-298

%A T. Gergely
%A M. Szots
%T ???
%J Proceedings of the First IEEE Symposium on Logic Programming
%C Atlantic City, New Jersey
%D February 1984
%K islp islp1 islp84
%P 299-309

%A Robert Kowalski
%T Directions for logic programming
%J Proceedings of the Second IEEE Symposium on Logic Programming
%C Boston, Massachusetts
%D July 1985
%K islp islp2 islp85
%P 2-9

%A Jung-Hern Chang
%A Alvin M. Despain
%T Semi-intelligent backtracking of Prolog based on
static data dependency analysis
%J Proceedings of the Second IEEE Symposium on Logic Programming
%C Boston, Massachusetts
%D July 1985
%K islp islp2 islp85
%P 10-21
%K intelligent backtracking, dependency graph
Berkeley Prolog machine, Aquarius project

%A J.I. Glasgow
%A M.A. Jenkins
%A C.D. McCrosky
%T User defined parallel computation strategies in NIAL
%J Proceedings of the Second IEEE Symposium on Logic Programming
%C Boston, Massachusetts
%D July 1985
%K islp islp2 islp85
%P 22-28
%K functional programming, logic programming, transformers

%A P. Dembinski
%A J. Maluszynski
%T AND-parallelism with intelligent backtracking
for annotated logic programs
%J Proceedings of the Second IEEE Symposium on Logic Programming
%C Boston, Massachusetts
%D July 1985
%K islp islp2 islp85
%P 29-38
%K data driven computation, guard predicates

%A Zerksis D. Umrigar
%A Vijay Pitchumani
%T An experiment in programming with full first-order logic
%J Proceedings of the Second IEEE Symposium on Logic Programming
%C Boston, Massachusetts
%D July 1985
%K islp islp2 islp85
%P 40-47
%K f-Prolog

%A Kenneth A. Bowen
%A Tobias Weinberg
%T A meta-level extension of Prolog
%J Proceedings of the Second IEEE Symposium on Logic Programming
%C Boston, Massachusetts
%D July 1985
%K islp islp2 islp85
%P 48-53

%A Nachum Dershowitz
%A David A. Plaisted
%T Logic programming cum applicative programming
%J Proceedings of the Second IEEE Symposium on Logic Programming
%C Boston, Massachusetts
%D July 1985
%K islp islp2 islp85
%P 54-66
%K functional programming, conditional rewrite rules, narrowing

%A Richard A. O'Keefe
%T On the treatment of cuts in Prolog source-level tools
%J Proceedings of the Second IEEE Symposium on Logic Programming
%C Boston, Massachusetts
%D July 1985
%K islp islp2 islp85
%P 68-72

%A Lee Naish
%T All solutions predicates in Prolog
%J Proceedings of the Second IEEE Symposium on Logic Programming
%C Boston, Massachusetts
%D July 1985
%K islp islp2 islp85
%P 73-77

%A Jan Maluszynski
%A Henryk Jan Komorowski
%T Unification-free execution of logic programs
%J Proceedings of the Second IEEE Symposium on Logic Programming
%C Boston, Massachusetts
%D July 1985
%K islp islp2 islp85
%P 78-86

%A Herve Gallaire
%T Logic programming: further developments
%J Proceedings of the Second IEEE Symposium on Logic Programming
%C Boston, Massachusetts
%D July 1985
%K islp islp2 islp85
%P 88-96

%A Rosanna K.S. Lee
%A Randy Goebel
%T Concurrent Prolog in a multi-process environment
%J Proceedings of the Second IEEE Symposium on Logic Programming
%C Boston, Massachusetts
%D July 1985
%K islp islp2 islp85
%P 100-109
%K Port Prolog

%A Toshihiko Miyazaki
%A Akikazu Takeuchi
%A Takashi Chikayama
%T A sequential implementation of Concurrent Prolog
based on the shallow binding scheme
%J Proceedings of the Second IEEE Symposium on Logic Programming
%C Boston, Massachusetts
%D July 1985
%K islp islp2 islp85
%P 110-118

%A Kazunori Ueda
%A Takashi Chikayama
%T Concurrent Prolog compiler on top of Prolog
%J Proceedings of the Second IEEE Symposium on Logic Programming
%C Boston, Massachusetts
%D July 1985
%K islp islp2 islp85
%P 119-126

%A G. Levi
%A C. Palamidessi
%T The declarative semantics of logical read-only variables
%J Proceedings of the Second IEEE Symposium on Logic Programming
%C Boston, Massachusetts
%D July 1985
%K islp islp2 islp85
%P 128-137

%A Uday S. Reddy
%T Narrowing as the operational semantics of functional languages
%J Proceedings of the Second IEEE Symposium on Logic Programming
%C Boston, Massachusetts
%D July 1985
%K islp islp2 islp85
%P 138-151

%A Richard A. O'Keefe
%T Towards a algebra for constructing logic programs
%J Proceedings of the Second IEEE Symposium on Logic Programming
%C Boston, Massachusetts
%D July 1985
%K islp islp2 islp85
%P 152-160

%A Mats Carlsson
%T A microcoded unifier fir Lisp Machine Prolog
%J Proceedings of the Second IEEE Symposium on Logic Programming
%C Boston, Massachusetts
%D July 1985
%K islp islp2 islp85
%P 161-171

%A Laurent Fribourg
%T SLOG: a logic programming language interpreter
based on clausal superposition and rewriting
%J Proceedings of the Second IEEE Symposium on Logic Programming
%C Boston, Massachusetts
%D July 1985
%K islp islp2 islp85
%P 172-184

%A Edwin Pittomvils
%A Maurice Bruynooghe
%A Yves D. Willems
%T Towards a real time garbage collector for Prolog
%J Proceedings of the Second IEEE Symposium on Logic Programming
%C Boston, Massachusetts
%D July 1985
%K islp islp2 islp85
%P 185-198

%A Hajime Sawamura
%A Taku Takeshima
%T Recursive unsolvability of determinacy, solvable cases
of determinacy and their applications to Prolog optimization
%J Proceedings of the Second IEEE Symposium on Logic Programming
%C Boston, Massachusetts
%D July 1985
%K islp islp2 islp85
%P 200-207

%A Jean H. Gallier
%A Stan Raatz
%T Logic programming and graph rewriting
%J Proceedings of the Second IEEE Symposium on Logic Programming
%C Boston, Massachusetts
%D July 1985
%K islp islp2 islp85
%P 208-219

%A P.T. Cox
%A T. Pietrzykowski
%T Surface deduction: a uniform mechanism for logic programming
%J Proceedings of the Second IEEE Symposium on Logic Programming
%C Boston, Massachusetts
%D July 1985
%K islp islp2 islp85
%P 220-229

%A Jan Chomicki
%A Naftaly Minsky
%T Towards a programming environment for large Prolog programs
%J Proceedings of the Second IEEE Symposium on Logic Programming
%C Boston, Massachusetts
%D July 1985
%K islp islp2 islp85
%P 230-241

%A Harald Ganzinger
%A Michael Hanus
%T Modular logic programming of compilers
%J Proceedings of the Second IEEE Symposium on Logic Programming
%C Boston, Massachusetts
%D July 1985
%K islp islp2 islp85
%P 242-253

%A Amitabh Srivastava
%A Don Oxley
%A Aditya Srivastava
%T An(other) integration of logic and functional programming
%J Proceedings of the Second IEEE Symposium on Logic Programming
%C Boston, Massachusetts
%D July 1985
%K islp islp2 islp85
%P 254-260

%A Sanjai Narain
%T A technique for doing evaluation in logic
%J Proceedings of the Second IEEE Symposium on Logic Programming
%C Boston, Massachusetts
%D July 1985
%K islp islp2 islp85
%P 261-269

%A W.W. Bledsoe
%T Some thoughts on proof discovery
%J Proceedings of the Third IEEE Symposium on Logic Programming
%C Salt Lake City, Utah
%D September 1986
%K islp islp3 islp86
%P 2-10

%A Peter Ohrstrom
%A Nils Klarlund
%T The logic of tensed statements in English
- an application of logic programming
%J Proceedings of the Third IEEE Symposium on Logic Programming
%C Salt Lake City, Utah
%D September 1986
%K islp islp3 islp86
%P 12-19

%A Leon Sterling
%A Randall D. Beer
%T Incremental flavor-mixing of meta-interpreters
for expert system construction
%J Proceedings of the Third IEEE Symposium on Logic Programming
%C Salt Lake City, Utah
%D September 1986
%K islp islp3 islp86
%P 20-27
%K partial evaluation

%A J.L. Armstrong
%A N.A. Elshiewy
%A R. Virding
%T The phoning philosopher's problem
or logic programming for telecommunication applications
%J Proceedings of the Third IEEE Symposium on Logic Programming
%C Salt Lake City, Utah
%D September 1986
%K islp islp3 islp86
%P 28-33

%A Jorge Bocca
%T EDUCE - a marriage of convenience: Prolog and a relational DBMS
%J Proceedings of the Third IEEE Symposium on Logic Programming
%C Salt Lake City, Utah
%D September 1986
%K islp islp3 islp86
%P 36-45

%A M.L. Ross
%A K. Ramamohanarao
%T Paging strategy for Prolog based dynamic virtual memory
%J Proceedings of the Third IEEE Symposium on Logic Programming
%C Salt Lake City, Utah
%D September 1986
%K islp islp3 islp86
%P 46-57

%A Ian T. Foster
%A Anthony J. Kusalik
%T A logical treatment of secondary storage
%J Proceedings of the Third IEEE Symposium on Logic Programming
%C Salt Lake City, Utah
%D September 1986
%K islp islp3 islp86
%P 58-67

%A Maurice Bruynooghe
%A Danny de Schreye
%A Bruno Krekels
%T Compiling control
%J Proceedings of the Third IEEE Symposium on Logic Programming
%C Salt Lake City, Utah
%D September 1986
%K islp islp3 islp86
%P 70-77

%A Saumya K. Debray
%A David S. Warren
%T Automatic mode inference for Prolog programs
%J Proceedings of the Third IEEE Symposium on Logic Programming
%C Salt Lake City, Utah
%D September 1986
%K islp islp3 islp86
%P 78-88

%A P.G. Brosco
%A E. Giovannetti
%T IDEAL: an Ideal DEductive Applicative Language
%J Proceedings of the Third IEEE Symposium on Logic Programming
%C Salt Lake City, Utah
%D September 1986
%K islp islp3 islp86
%P 89-94

%A Sten-Ake Tarnlund
%T Logic programming - from a logic point of view
%J Proceedings of the Third IEEE Symposium on Logic Programming
%C Salt Lake City, Utah
%D September 1986
%K islp islp3 islp86
%P 96-103

%A Dale Miller
%T A theory of modules for logic programming
%J Proceedings of the Third IEEE Symposium on Logic Programming
%C Salt Lake City, Utah
%D September 1986
%K islp islp3 islp86
%P 106-114

%A P. Hoddlnott
%A E.W. Elcock
%T Prolog: subsumption of equality axioms by the homogeneous form
%J Proceedings of the Third IEEE Symposium on Logic Programming
%C Salt Lake City, Utah
%D September 1986
%K islp islp3 islp86
%P 115-126

%A Allen Van\ Gelder
%T Negation as failure using tight derivations for general logic programs
%J Proceedings of the Third IEEE Symposium on Logic Programming
%C Salt Lake City, Utah
%D September 1986
%K islp islp3 islp86
%P 127-138

%A Thomas Vasak
%A John Potter
%T Characterisation of terminating logic programs
%J Proceedings of the Third IEEE Symposium on Logic Programming
%C Salt Lake City, Utah
%D September 1986
%K islp islp3 islp86
%P 139-147

%A Jim Crammond
%T An execution model for committed-choice non-deterministic languages
%J Proceedings of the Third IEEE Symposium on Logic Programming
%C Salt Lake City, Utah
%D September 1986
%K islp islp3 islp86
%P 148-158

%A Heikki Mannila
%A Esko Ukkonen
%T Timestamped term representation for implementing Prolog
%J Proceedings of the Third IEEE Symposium on Logic Programming
%C Salt Lake City, Utah
%D September 1986
%K islp islp3 islp86
%P 159-165

%A Jean H. Gallier
%A Stan Raatz
%T SLD-resolution methods for Horn clauses with equality based on E-unification
%J Proceedings of the Third IEEE Symposium on Logic Programming
%C Salt Lake City, Utah
%D September 1986
%K islp islp3 islp86
%P 168-179

%A A. Martelli
%A C. Moiso
%A G.F. Rossi
%T An algorithm for unification in equational theories
%J Proceedings of the Third IEEE Symposium on Logic Programming
%C Salt Lake City, Utah
%D September 1986
%K islp islp3 islp86
%P 180-186

%A Alan Josephson
%A Nachum Dershowitz
%T An implementation of narrowing the RITE way
%J Proceedings of the Third IEEE Symposium on Logic Programming
%C Salt Lake City, Utah
%D September 1986
%K islp islp3 islp86
%P 187-197

%A Nam Sung Woo
%A Kwang-Moo Choe
%T Selecting the backtrack literal in the AND/OR process model
%J Proceedings of the Third IEEE Symposium on Logic Programming
%C Salt Lake City, Utah
%D September 1986
%K islp islp3 islp86
%P 200-210

%A Peter Borgwardt
%A Doris Rea
%T Distributed semi-intelligent backtracking
for a stack-based AND-parallel Prolog
%J Proceedings of the Third IEEE Symposium on Logic Programming
%C Salt Lake City, Utah
%D September 1986
%K islp islp3 islp86
%P 211-222

%A Peyyun Peggy Li
%A Alain J. Martin
%T The Sync model: a parallel execution method for logic programming
%J Proceedings of the Third IEEE Symposium on Logic Programming
%C Salt Lake City, Utah
%D September 1986
%K islp islp3 islp86
%P 223-234

%A Jeffrey F. Naughton
%T Redundancy in functional-free recursive rules
%J Proceedings of the Third IEEE Symposium on Logic Programming
%C Salt Lake City, Utah
%D September 1986
%K islp islp3 islp86
%P 236-245

%A Andrzej Ciepielewski
%A Bogumil Hausman
%T Performance evaluation of a storage model
for OR-parallel execution of logic programs
%J Proceedings of the Third IEEE Symposium on Logic Programming
%C Salt Lake City, Utah
%D September 1986
%K islp islp3 islp86
%P 246-257

%A Yves Bekkers
%A Bernard Canet
%A Olivier Ridoux
%A Lucien Ungaro
%T MALI: a memory with a real-time garbage collector
for implementing logic programming languages
%J Proceedings of the Third IEEE Symposium on Logic Programming
%C Salt Lake City, Utah
%D September 1986
%K islp islp3 islp86
%P 258-264

%A Saumya K. Debray
%T Register allocation in a Prolog machine
%J Proceedings of the Third IEEE Symposium on Logic Programming
%C Salt Lake City, Utah
%D September 1986
%K islp islp3 islp86
%P 267-275

%A Jonas Barklund
%A Hakan Millroth
%T Garbage cut for garbage colection of iterative Prolog programs
%J Proceedings of the Third IEEE Symposium on Logic Programming
%C Salt Lake City, Utah
%D September 1986
%K islp islp3 islp86
%P 276-283

%A Martin Abadi
%A Zohar Manna
%T Temporal logic programming
%J Proceedings of the Fourth IEEE Symposium on Logic Programming
%C San Francisco, California
%D August 1987
%K islp islp4 islp87
%P 4-16

%A Hassan Ait-Kaci
%A Patrick Lincoln
%A Roger Nasr
%T Le Fun: logic, equations and functions
%J Proceedings of the Fourth IEEE Symposium on Logic Programming
%C San Francisco, California
%D August 1987
%K islp islp4 islp87
%P 17-23

%A Weidong Chen
%T A theory of modules based on higher-order logic
%J Proceedings of the Fourth IEEE Symposium on Logic Programming
%C San Francisco, California
%D August 1987
%K islp islp4 islp87
%P 24-33

%A Martin Huber
%A Igor Varsek
%T Extended Prolog for order-sorted resolution
%J Proceedings of the Fourth IEEE Symposium on Logic Programming
%C San Francisco, California
%D August 1987
%K islp islp4 islp87
%P 34-43
%K EPOS

%A Terry Disz
%A Ewing Lusk
%T A graphical tool for observing the behaviour of parallel logic programs
%J Proceedings of the Fourth IEEE Symposium on Logic Programming
%C San Francisco, California
%D August 1987
%K islp islp4 islp87
%P 46-53
%K ANL ANLWAM WAMTRACE

%A Kish Shen
%A David H.D. Warren
%T A simulation study of the Argonne model for OR-parallel execution of Prolog
%J Proceedings of the Fourth IEEE Symposium on Logic Programming
%C San Francisco, California
%D August 1987
%K islp islp4 islp87
%P 54-68

%A Bogumil Hausman
%A Andrzej Ciepielewski
%A Seif Haridi
%T OR-parallel Prolog made efficient on shared memory multiprocessors
%J Proceedings of the Fourth IEEE Symposium on Logic Programming
%C San Francisco, California
%D August 1987
%K islp islp4 islp87
%P 69-79

%A Doug DeGroot
%T Restricted AND-parallelism and side effects
%J Proceedings of the Fourth IEEE Symposium on Logic Programming
%C San Francisco, California
%D August 1987
%K islp islp4 islp87
%P 80-89

%A D.H.D. Warren
%T The SRI model for OR-parallel execution of Prolog
- abstract design and implementation issues
%J Proceedings of the Fourth IEEE Symposium on Logic Programming
%C San Francisco, California
%D August 1987
%K islp islp4 islp87
%P 92-102

%A Hiroshi Nakashima
%A Katsuto Nakajima
%T Hardware architecture of the sequential inference machine: PSI-II
%J Proceedings of the Fourth IEEE Symposium on Logic Programming
%C San Francisco, California
%D August 1987
%K islp islp4 islp87
%P 104-113

%A Herve Touati
%A Alvin Despain
%T An empirical study of the Warren Abstract Machine
%J Proceedings of the Fourth IEEE Symposium on Logic Programming
%C San Francisco, California
%D August 1987
%K islp islp4 islp87
%P 114-124
%K WAM

%A L.V. Kale
%T "Completeness" and "full parallelism" of parallel logic programming schemes
%J Proceedings of the Fourth IEEE Symposium on Logic Programming
%C San Francisco, California
%D August 1987
%K islp islp4 islp87
%P 125-133

%A Will Winsborough
%T Semantically transparent selective reset for AND parallel interpreters
based on the origin of failures
%J Proceedings of the Fourth IEEE Symposium on Logic Programming
%C San Francisco, California
%D August 1987
%K islp islp4 islp87
%P 134-152

%A Howard A. Blair
%T Canonical conservative extensions of logic program completions
%J Proceedings of the Fourth IEEE Symposium on Logic Programming
%C San Francisco, California
%D August 1987
%K islp islp4 islp87
%P 154-161

%A Pierre Deransart
%A Gerard Ferrand
%T An operational formal definition of Prolog
%J Proceedings of the Fourth IEEE Symposium on Logic Programming
%C San Francisco, California
%D August 1987
%K islp islp4 islp87
%P 162-172

%A V.S. Subrahmanian
%T On the semantics of quantitative logic programs
%J Proceedings of the Fourth IEEE Symposium on Logic Programming
%C San Francisco, California
%D August 1987
%K islp islp4 islp87
%P 173-182
%K fuzzy probabilistic

%A P.T. Cox
%A T. Pietrzykowski
%T General diagnosis by inductive inference
%J Proceedings of the Fourth IEEE Symposium on Logic Programming
%C San Francisco, California
%D August 1987
%K islp islp4 islp87
%P 183-189

%A Maurice Bruynooghe
%A Gerda Janssens
%A Alain Callebaut
%A Bart Demoen
%T Abstract interpretation: towards the global optimisation of Prolog programs
%J Proceedings of the Fourth IEEE Symposium on Logic Programming
%C San Francisco, California
%D August 1987
%K islp islp4 islp87
%P 192-204

%A Heikki Mannila
%A Esko Ukkonen
%T Flow analysis of Prolog programs
%J Proceedings of the Fourth IEEE Symposium on Logic Programming
%C San Francisco, California
%D August 1987
%K islp islp4 islp87
%P 205-214

%A Hirohisa Seki
%A Koichi Furukawa
%T Notes on transformation techniques for generate and test logic programs
%J Proceedings of the Fourth IEEE Symposium on Logic Programming
%C San Francisco, California
%D August 1987
%K islp islp4 islp87
%P 215-223

%A Akira Okumura
%A Yuji Matsumoto
%T Parallel programming with layered streams
%J Proceedings of the Fourth IEEE Symposium on Logic Programming
%C San Francisco, California
%D August 1987
%K islp islp4 islp87
%P 224-232

%A Helmut Schmidt
%A Werner Kiessling
%A Ulrich Guntzler
%A Rudolf Bayer
%T Compiling exploratory and goal-directed deduction
into sloppy delta-iteration
%J Proceedings of the Fourth IEEE Symposium on Logic Programming
%C San Francisco, California
%D August 1987
%K islp islp4 islp87
%P 234-243

%A Eyal Mozes
%T A deductive database based on Aristotelian logic
%J Proceedings of the Fourth IEEE Symposium on Logic Programming
%C San Francisco, California
%D August 1987
%K islp islp4 islp87
%P 244-252

%A Mark Wallace
%T Negation by constraints:
a sound and efficient implementation of negation in deductive databases
%J Proceedings of the Fourth IEEE Symposium on Logic Programming
%C San Francisco, California
%D August 1987
%K islp islp4 islp87
%P 253-263

%A Suzanne Wagner Dietrich
%T Extension tables: memo relations in logic programming
%J Proceedings of the Fourth IEEE Symposium on Logic Programming
%C San Francisco, California
%D August 1987
%K islp islp4 islp87
%P 264-272
%K goal cache caching

%A Takashi Chikayama
%T Parallel inference system researches in the FGCS project
%J Proceedings of the Fourth IEEE Symposium on Logic Programming
%C San Francisco, California
%D August 1987
%K islp islp4 islp87
%P 274-276

%A Yukihide Takayama
%T Writing programs as QJ proof and compiling into Prolog program
%J Proceedings of the Fourth IEEE Symposium on Logic Programming
%C San Francisco, California
%D August 1987
%K islp islp4 islp87
%P 278-287

%A Matthew M. Huntbach
%T Algorithmic Parlog debugging
%J Proceedings of the Fourth IEEE Symposium on Logic Programming
%C San Francisco, California
%D August 1987
%K islp islp4 islp87
%P 288-297

%A Nachum Dershowitz
%A Yuh-Jeng Lee
%T Deductive debugging
%J Proceedings of the Fourth IEEE Symposium on Logic Programming
%C San Francisco, California
%D August 1987
%K islp islp4 islp87
%P 298-306

%A Saumya Debray
%T Flow analysis of a simple class of dynamic logic programs
%J Proceedings of the Fourth IEEE Symposium on Logic Programming
%C San Francisco, California
%D August 1987
%K islp islp4 islp87
%P 307-316

%A Giorgio Levi
%A Catuscia Palamidessi
%A Pier Giorgio Bosco
%A Elio Giovannetti
%A Corrado Moisa
%T A complete semantic characterization of K-LEAF,
a logic language with partial functions
%J Proceedings of the Fourth IEEE Symposium on Logic Programming
%C San Francisco, California
%D August 1987
%K islp islp4 islp87
%P 318-327

%A D.W. Shin
%A J.H. Nang
%A S. Han
%A S.R. Maeng
%T A functional logic language based on canonical unification
%J Proceedings of the Fourth IEEE Symposium on Logic Programming
%C San Francisco, California
%D August 1987
%K islp islp4 islp87
%P 328-334

%A Steffen Holldobler
%T Equational logic programming
%J Proceedings of the Fourth IEEE Symposium on Logic Programming
%C San Francisco, California
%D August 1987
%K islp islp4 islp87
%P 335-346

%A Vijay A. Saraswat
%T GHC: operational semantics, problems and relationship with CP[down,guard]
%J Proceedings of the Fourth IEEE Symposium on Logic Programming
%C San Francisco, California
%D August 1987
%K islp islp4 islp87
%P 347-358

%A Walter G. Wilson
%T Concurrent alpha-beta, a study in concurrent logic programming
%J Proceedings of the Fourth IEEE Symposium on Logic Programming
%C San Francisco, California
%D August 1987
%K islp islp4 islp87
%P 360-367

%A D.T. Sannella
%A L.A. Wallen
%T A calculus for the construction of modular Prolog programs
%J Proceedings of the Fourth IEEE Symposium on Logic Programming
%C San Francisco, California
%D August 1987
%K islp islp4 islp87
%P 368-378
%K ML

%A Dale Miller
%A Gepalan Nadathur
%T A logic programming approach to manipulating formulas and programs
%J Proceedings of the Fourth IEEE Symposium on Logic Programming
%C San Francisco, California
%D August 1987
%K islp islp4 islp87
%P 379-388

%A Wlodzimierz Drabent
%T Do logic programs resemble programs in conventional languages ?
%J Proceedings of the Fourth IEEE Symposium on Logic Programming
%C San Francisco, California
%D August 1987
%K islp islp4 islp87
%P 389-396

%A Zhang Chenxi
%A Tzu Yungui
%A Li Liangliang
%A Hu Yunfa
%T An approach to the implementation
of Prolog code database and source database
in compiler-based systems
%J Proceedings of the Fourth IEEE Symposium on Logic Programming
%C San Francisco, California
%D August 1987
%K islp islp4 islp87
%P 398-405

%A Vipin Kumar
%A Yow-Jian Lin
%T An intelligent backtracking scheme for Prolog
%J Proceedings of the Fourth IEEE Symposium on Logic Programming
%C San Francisco, California
%D August 1987
%K islp islp4 islp87
%P 406-414

%A Jonas Barklund
%A Hakan Millroth
%T Integrating complex data structures in Prolog
%J Proceedings of the Fourth IEEE Symposium on Logic Programming
%C San Francisco, California
%D August 1987
%K islp islp4 islp87
%P 415-425
%K Tricia, hairy structures

%A Michael M. Gorlick
%A Carl F. Kesselman
%T Timing Prolog programs without clocks
%J Proceedings of the Fourth IEEE Symposium on Logic Programming
%C San Francisco, California
%D August 1987
%K islp islp4 islp87
%P 426-432

%A Harald Westphal
%A Philippe Robert
%A Jacques Chassin
%A Jean-Claude Syre
%T The PEPSys model: combining backtracking, AND- and OR-parallelism
%J Proceedings of the Fourth IEEE Symposium on Logic Programming
%C San Francisco, California
%D August 1987
%K islp islp4 islp87
%P 436-448

%A Khayri A.M. Ali
%T A method for implementing cut in parallel execution of Prolog
%J Proceedings of the Fourth IEEE Symposium on Logic Programming
%C San Francisco, California
%D August 1987
%K islp islp4 islp87
%P 449-456

%A John S. Conery
%T Binding environments for parallel logic programs
in non-shared memory multiprocessors
%J Proceedings of the Fourth IEEE Symposium on Logic Programming
%C San Francisco, California
%D August 1987
%K islp islp4 islp87
%P 457-467
%K OPAL, OR-parallelism

%A Yasunori Kimura
%A Takashi Chikayama
%T An abstract KL1 machine and its instruction set
%J Proceedings of the Fourth IEEE Symposium on Logic Programming
%C San Francisco, California
%D August 1987
%K islp islp4 islp87
%P 468-477
%K GHC

%A Hayato Ohwada
%A Fumio Mizoguchi
%T Qualitative simulation in parallel logic programming
%J Proceedings of the Fourth IEEE Symposium on Logic Programming
%C San Francisco, California
%D August 1987
%K islp islp4 islp87
%P 480-489
%K GHC

%A William R. Bush
%A Gino Cheng
%A Patrick C. McGeer
%A Alvin M. Despain
%T Experience with Prolog as a hardware specification language
%J Proceedings of the Fourth IEEE Symposium on Logic Programming
%C San Francisco, California
%D August 1987
%K islp islp4 islp87
%P 490-498

%A Stan Matwin
%A Stan Szpakowicz
%A Greg Kersten
%A Wojtek Mechalowski
%A Zbig Koperczak
%T Logic-based tools for negotation support
%J Proceedings of the Fourth IEEE Symposium on Logic Programming
%C San Francisco, California
%D August 1987
%K islp islp4 islp87
%P 499-506
%K NEGOPLAN

%A Peter B. Reintjes
%T AUNT - a universal netlist translator
%J Proceedings of the Fourth IEEE Symposium on Logic Programming
%C San Francisco, California
%D August 1987
%K islp islp4 islp87
%P 508-515

%A Mitsuhiro Kishimoto
%A Akira Hosoi
%A Kouichi Kumon
%A Akira Hattori
%T An evaluation of the FGHC via practical application programs
%J Proceedings of the Fourth IEEE Symposium on Logic Programming
%C San Francisco, California
%D August 1987
%K islp islp4 islp87
%P 516-525