3. ICLP 1986: London
Ehud Y. Shapiro (Ed.): Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986, Proceedings. Springer 1986 Lecture Notes in Computer Science ISBN 3-540-16492-8
Keynote Address
- Kazuhiro Fuchi, Koichi Furukawa: The Role of Logic Programming in the Fifth Generation Computer Project. 1-24
Parallel Implementations
- Manuel V. Hermenegildo: An Abstract Machine for Restricted AND-Parallel Execution of Logic Programs. 25-39
- Yow-Jian Lin, Vipin Kumar, Clement H. C. Leung: An Intelligent Backtracking Algorithm for Parallel Execution of Logic Programs. 55-68
- Luís Moniz Pereira, Luís Monteiro, José C. Cunha, Joaquim Nunes Aparício: Delta Prolog: A Distributed Backtracking Extension with Events. 69-83
Theory and Complexity
- David A. Wolfram: Intractable Unifiability Problems and Backtracking. 107-121
Implementations and Architectures
- Peter Kursawe: How to Invent a Prolog Machine. 134-148
- Ian T. Foster, Steve Gregory, Graem A. Ringwood, Ken Satoh: A Sequential Implementation of Parlog. 149-156
- Jacob Levy: A GHC Abstract Machine and Instruction Set. 157-171
- Ian Robinson: A Prolog Processor Based on a Pattern Matching Memory Device. 172-179
Inductive Inference and Debugging
- Matthew M. Huntbach: An Improvised Version of Shapiro's Model Inference System. 180-187
- Kazuhisa Kawai, Riichiro Mizoguchi, Osamu Kakusho, Jun'ichi Toyoda: A Framework for ICAI Systems Based on Inductive Inference and Logic Programming. 188-202
- Luís Moniz Pereira: Rational Debugging in Logic Programming. 203-210
- Randy Goebel, Koichi Furukawa, David Poole: Using Definite Clauses and Integrity Constraints as the Basis for a Theory Formation Approach to Diagnostic Reasoning. 211-222
Invited Talks
- Joxan Jaffar, Jean-Louis Lassez, Michael J. Maher: Invited Talk: Some Issues and Trends in the Semantics of Logic Programming. 223-241
Concurrent Logic Languages
- Kazunori Ueda: Making Exhaustive Search Programs Deterministic. 270-282
- Jacob Levy: Shared Memory Execution of Committed-choice Languages. 298-312
Theory and Semantics
- Lennart Beckman: Towards a Formal Semantics for Concurrent Logic Programming Languages. 335-349
Invited Talk
- Michael C. McCord: Design of a Prolog-Based Machine Translation System. 350-374
Parallel Applications and Implementations
- Ralph Butler, Ewing L. Lusk, William McCune, Ross A. Overbeek: Parallel Logic Programming for Numeric Applications. 375-388
- Harvey Abramson: Sequential and Concurrent Deterministic Logic Grammars. 389-395
- Yuji Matsumoto: A Parallel Parsing System for Natural Language Analysis. 396-409
Theory and Higher-Order Functions
- Michael J. Maher: Eqivalences of Logic Programs. 410-424
- Phil Vasey: Qualified Answers and their Application to Transformation. 425-432
- M. A. Nait Abdallah: Procedures in Horn-Clause Programming. 433-447
Program Analysis
- Chris Mellish: Abstract Interpretation of Prolog Programs. 463-474
- Tadashi Kanamori, Hirohisa Seki: Verification of Prolog Programs Using an Extension of Execution. 475-489
- David Scott Warren, Saumya K. Debray: Detection and Optimization of Functional Computations in Prolog. 490-504
- Katsuhiko Nakamura: Control of Logic Program Execution Based on the Functional Relations. 505-512
Applications and Teaching
- Rajiv Gupta: Test-pattern Generation for VLSI Circuits in a Prolog Environment. 528-535
- Christopher J. Rawlings, W. R. Taylor, J. Nyakairu, John Fox, Michael J. E. Sternberg: Using Prolog to Represent and Reason about Protein Structure. 536-543
- Oded Maler, Zahava Scherz, Ehud Y. Shapiro: A New Approach for Intruducing Prolog to Naive Users. 544-551
Invited Talks
- Takashi Chikayama: Prolog Programming Environments: Architecture and Implementation. 552-553
- Katherine A. Morris, Jeffrey D. Ullman, Allen Van Gelder: Design Overview of the NAIL! System. 554-568
Implementations and Databases
- Kotagiri Ramamohanarao, John Shepherd: A Superimposed Codeword Indexing Scheme for Very Large Prolog Databases. 569-576
- Patrice Boizumault: A General Model to Implement DIF and FREEZE. 585-592
Theory and Negation
- Roberto Barbuti, Maurizio Martelli: Completeness of the SLDNF-resolution for a class of logic programs. 600-614
- Paul J. Voda: Choices in, and Limitations of, Logic Programming. 615-623
- Lee Naish: Negation and Quantifiers in NU-Prolog. 624-634
Compilation
- Evan Tick: Memory Performance of Lisp and Prolog Programs. 642-649
- Kenneth A. Bowen, Kevin A. Buettner, Ilyas Cicekli, Andrew K. Turk: The Design and Implementation of a High-Speed Incremental Portable Prolog Compiler. 650-656
- Andrew K. Turk: Compiler Optimizations for the WAM. 657-662
- Kevin A. Buettner: Fast Decompilation of Compiled Prolog Clauses. 663-670
Models of Computation and Implementation
- Christopher T. Haynes: Logic Continuations. 671-685
- Chris Moss: Cut and Paste - defining the impure Primitives of Prolog. 686-694
- Masahiro Fujita, Shinji Kono, Hidehiko Tanaka, Tohru Moto-Oka: Tokio: Logic Programming Language Based on Temporal Logic and its Compilation to Prolog. 695-709
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T201401 by the dblp team