Warren Abstract Machine

• 
  Jeff Gee, Stephen W. Melvin, Yale N. Patt: Advantages of Implementing PROLOG by Microprogramming a Host General Purpose Computer. 1-20
• 
  Timothy G. Lindholm, Richard A. O'Keefe: Efficient Implementation of a Defensible Semantics for Dynamic PROLOG Code. 21-39
• 
  Mats Carlsson: Freeze, Indexing, and Other Implementation Issues in the WAM. 40-58
• 
  Hans Mulder, Evan Tick: A Performance Comparison between PLM and a M68020 PROLOG Processor. 59-73

Databases

• 
  Laurent Vieille: A Database-Complete Proof Procedure Based on SLD-Resolution. 74-103
• 
  Domenico Saccà, Carlo Zaniolo: Implementation of Recursive Queries for a Data Language Based on Pure Horn Logic. 104-135
• 
  Catherine Lassez, Ken McAloon, Graeme S. Port: Stratification and Knowledge Based Management. 136-151
• 
  Oded Shmueli, Shamim A. Naqvi: Set Grouping and Layering in Horn Clause Programs. 152-177
• 
  Lee Naish, James A. Thom, Kotagiri Ramamohanarao: Concurrent Database Updates in PROLOG. 178-195

Constraints

• 
  Joxan Jaffar, Spiro Michaylov: Methodology and Implementation of a CLP System. 196-218
• 
  Kenneth Kunen: Answer Sets and Negation-as-Failure. 219-228
• 
  Pascal Van Hentenryck, Mehmet Dincbas: Forward Checking in Logic Programming. 229-256

Parallelism I

• 
  M. Ichiyoshi, T. Miyazaki, Kazuo Taki: A Distributed Implementation of Flat GHC on the Multi-PSI. 257-275
• 
  Takashi Chikayama, Yasunori Kimura: Multiple Reference Management in Flat GHC. 276-293
• 
  Melissa Lam, Steve Gregory: PARLOG and ALICE : A Marriage of Convenience. 294-310
• 
  Ehud Y. Shapiro: An OR-Parallel Execution Algorithm for PROLOG and Its FCP Implementation. 311-337
• 
  Masatoshi Sato, Hajime Shimizu, Akira Matsumoto, Kazuaki Rokusawa, Atsuhiro Goto: KL1 Execution Model for PIM Cluster with Shared Memory. 338-355

Implementation Issues

• 
  Kazunori Ueda: Making Exhaustive Search Programs Deterministic, Part II. 356-375
• 
  Hisao Tamaki: Stream-Based Compilation of Ground I/O PROLOG into Committed-Choice Languages. 376-393
• 
  Hamid Bacha: Meta-Level Programming: A Compiled Approach. 394-410
• 
  Jonas Barklund, Håkan Millroth: Hash Tables in Logic Programming. 411-427
• 
  Carlo Cecchi, Dario Sartini, Luigia Carlucci Aiello: Evaluating Logic Programs via Set-Valued Functions. 428-455

Language Issues

• 
  Donald W. Loveland: Near-Horn PROLOG. 456-469
• 
  Akihiro Yamamoto: A Theoretical Combination of SLD-Resolution and Narrowing. 470-487
• 
  Richard Helm: Inductive and Deductive Control of Logic Programs. 488-512
• 
  Kemal Ebcioglu: An Efficient Logic Programming Language and Its Application to Music. 513-532
• 
  Shinichi Morishita, Masayuki Numao, Shin'ichi Hirose: Symbolical Construction of Truth Value Domain for Logic Program. 533-555

Parallelism II

• 
  Manuel V. Hermenegildo: Relating Goal-Scheduling, Precedence, and Memory Management in AND-Parallel Execution of Logic Programs. 556-575
• 
  Terry Disz, Ewing L. Lusk, Ross A. Overbeek: Experiments with OR-Parallel Logic Programs. 576-600
• 
  Peter Tinker, Gary Lindstrom: A Performance-Oriented Design for OR-Parallel Logic Programming. 601-615
• 
  Laxmikant V. Kalé: The REDUCE-OR Process Model for Parallel Evaluation of Logic Programs. 616-632, (long version: JLP 11: 55-84 (1991))
• 
  John S. Conery: Implementing Backward Execution in Non-Deterministic AND-Parallel Systems. 633-653

Applications

• 
  Leon Sterling, Yossi Nygate: PYTHON: An Expert Squeezer. 654-674
• 
  Nevin Heintze, Spiro Michaylov, Peter J. Stuckey: CLP(R) and Some Electrical Engineering Problems. 675-703
• 
  Mark S. Miller, Daniel G. Bobrow, Eric Dean Tribble, Jacob Levy: Logical Secrets. 704-728

Program Analysis

• 
  Richard A. O'Keefe: Finite Fixed-Point Problems. 729-743
• 
  Tadashi Kanamori, Kenji Horiuchi: Construction of Logic Programs Based on Generalized Unfold/Fold Rules. 744-768
• 
  Zoltan Somogyi: A System of Precise Models for Logic Programs. 769-787
• 
  Feliks Kluzniak: Type Synthesis for Ground Prolog. 788-816
• 
  Justin Zobel: Derivation of Polymorphic Types for PROLOG Programs. 817-838

Concurrent Languages

• 
  Eric Dean Tribble, Mark S. Miller, Kenneth M. Kahn, Daniel G. Bobrow, Curtis Abbott, Ehud Y. Shapiro: Channels: A Generalization of Streams. 839-857
• 
  Michael J. Maher: Logic Semantics for a Class of Committed-Choice Programs. 858-876
• 
  Giorgio Levi, Catuscia Palamidessi: An Approach to the Declarative Semantics of Synchronization in Logic Languages. 877-893
• 
  Masaru Ohki, Akikazu Takeuchi, Koichi Furukawa: An Object-Oriented Programming Language Based on the Parallel Logic Programming Language KL1. 894-909
• 
  Ian T. Foster: Logic Operating System: Design Issues. 910-926

Invited Talks

• 
  Keith L. Clark, Steve Gregory: PARLOG and PROLOG United. 927-961
• 
  Hervé Gallaire: Boosting Logic Programming. 962-988
• 
  Fernando C. N. Pereira: Grammars and Logics of Partial Information. 989-1013
• 
  Kotagiri Ramamohanarao, John Shepherd: Answering Queries in Deductive Database Systems. 1014-1033
• 
  Masahiko Sato: Quty: A Concurrent Language Based on Logic and Function. 1034-1056

last updated on Fri May 24 05:01:53 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page