Jean-Louis Lassez
Proceedings of the Fourth International Conference on Logic Programming, 2 Volumes
ICLP, 1987.

@proceedings{ICLP-1987,
	address       = "Victoria, Australia",
	editor        = "Jean-Louis Lassez",
	isbn          = "0-262-12125-5",
	publisher     = "{MIT Press}",
	title         = "{Proceedings of the Fourth International Conference on Logic Programming, 2 Volumes}",
	year          = 1987,
}

Contents (50 items)

14 ×#logic programming
11 ×#source code
10 ×#prolog
8 ×#implementation
7 ×#logic
4 ×#execution
3 ×#named
3 ×#performance
3 ×#semantics
2 ×#approach

ICLP-1987-GeeMP87 #implementation #prolog

Advantages of Implementing PROLOG by Microprogramming a Host General Purpose Computer (JG, SWM, YNP), pp. 1–20.

ICLP-1987-LindholmO87 #implementation #performance #prolog #semantics

Efficient Implementation of a Defensible Semantics for Dynamic PROLOG Code (TGL, RAO), pp. 21–39.

ICLP-1987-Carlsson87 #implementation

Freeze, Indexing, and Other Implementation Issues in the WAM (MC), pp. 40–58.

ICLP-1987-MulderT87 #comparison #performance #prolog

A Performance Comparison between PLM and a M68020 PROLOG Processor (HM, ET), pp. 59–73.

ICLP-1987-Vieille87 #proving

A Database-Complete Proof Procedure Based on SLD-Resolution (LV), pp. 74–103.

ICLP-1987-SaccaZ87 #implementation #logic #query #recursion

Implementation of Recursive Queries for a Data Language Based on Pure Horn Logic (DS, CZ), pp. 104–135.

ICLP-1987-LassezMP87 #knowledge base

Stratification and Knowledge Based Management (CL, KM, GSP), pp. 136–151.

ICLP-1987-ShmueliN87 #horn clause #set #source code

Set Grouping and Layering in Horn Clause Programs (OS, SAN), pp. 152–177.

ICLP-1987-NaishTR87 #concurrent #database #prolog

Concurrent Database Updates in PROLOG (LN, JAT, KR), pp. 178–195.

ICLP-1987-JaffarM87 #implementation

Methodology and Implementation of a CLP System (JJ, SM), pp. 196–218.

ICLP-1987-Kunen87 #set

Answer Sets and Negation-as-Failure (KK), pp. 219–228.

ICLP-1987-HentenryckD87 #logic programming

Forward Checking in Logic Programming (PVH, MD), pp. 229–256.

ICLP-1987-IchiyoshiMT87 #distributed #haskell #implementation #multi

A Distributed Implementation of Flat GHC on the Multi-PSI (MI, TM, KT), pp. 257–275.

ICLP-1987-ChikayamaK87 #haskell #multi

Multiple Reference Management in Flat GHC (TC, YK), pp. 276–293.

ICLP-1987-LamG87

PARLOG and ALICE : A Marriage of Convenience (ML, SG), pp. 294–310.

ICLP-1987-Shapiro87 #algorithm #execution #implementation #prolog

An OR-Parallel Execution Algorithm for PROLOG and Its FCP Implementation (EYS), pp. 311–337.

ICLP-1987-SatoSMRG87 #clustering #execution #memory management

KL1 Execution Model for PIM Cluster with Shared Memory (MS, HS, AM, KR, AG), pp. 338–355.

ICLP-1987-Ueda87 #source code

Making Exhaustive Search Programs Deterministic, Part II (KU), pp. 356–375.

ICLP-1987-Tamaki87 #compilation #prolog

Stream-Based Compilation of Ground I/O PROLOG into Committed-Choice Languages (HT), pp. 376–393.

ICLP-1987-Bacha87 #approach #programming

Meta-Level Programming: A Compiled Approach (HB), pp. 394–410.

ICLP-1987-BarklundM87 #logic programming

Hash Tables in Logic Programming (JB, HM), pp. 411–427.

ICLP-1987-CecchiSA87 #logic programming #source code

Evaluating Logic Programs via Set-Valued Functions (CC, DS, LCA), pp. 428–455.

ICLP-1987-Loveland87 #prolog

Near-Horn PROLOG (DWL), pp. 456–469.

ICLP-1987-Yamamoto87

A Theoretical Combination of SLD-Resolution and Narrowing (AY), pp. 470–487.

ICLP-1987-Helm87 #deduction #induction #logic programming #source code

Inductive and Deductive Control of Logic Programs (RH), pp. 488–512.

ICLP-1987-Ebcioglu87 #logic programming #music #performance #programming language

An Efficient Logic Programming Language and Its Application to Music (KE), pp. 513–532.

ICLP-1987-MorishitaNH87 #logic programming

Symbolical Construction of Truth Value Domain for Logic Program (SM, MN, SH), pp. 533–555.

ICLP-1987-Hermenegildo87 #execution #logic programming #memory management #precedence #source code

Relating Goal-Scheduling, Precedence, and Memory Management in AND-Parallel Execution of Logic Programs (MVH), pp. 556–575.

ICLP-1987-DiszLO87 #logic programming #source code

Experiments with OR-Parallel Logic Programs (TD, ELL, RAO), pp. 576–600.

ICLP-1987-TinkerL87 #design #logic programming

A Performance-Oriented Design for OR-Parallel Logic Programming (PT, GL), pp. 601–615.

ICLP-1987-Kale87 #evaluation #logic programming #parallel #process #source code

The REDUCE-OR Process Model for Parallel Evaluation of Logic Programs (LVK), pp. 616–632.

ICLP-1987-Conery87 #execution #implementation #nondeterminism

Implementing Backward Execution in Non-Deterministic AND-Parallel Systems (JSC), pp. 633–653.

ICLP-1987-SterlingN87 #named #python

PYTHON: An Expert Squeezer (LS, YN), pp. 654–674.

ICLP-1987-HeintzeMS87 #problem

CLP(R) and Some Electrical Engineering Problems (NH, SM, PJS), pp. 675–703.

ICLP-1987-MillerBTL87 #logic

Logical Secrets (MSM, DGB, EDT, JL), pp. 704–728.

ICLP-1987-OKeefe87 #finite #fixpoint #problem

Finite Fixed-Point Problems (RAO), pp. 729–743.

ICLP-1987-KanamoriH87 #logic programming #source code

Construction of Logic Programs Based on Generalized Unfold/Fold Rules (TK, KH), pp. 744–768.

ICLP-1987-Somogyi87 #logic programming #modelling #precise #source code

A System of Precise Models for Logic Programs (ZS), pp. 769–787.

ICLP-1987-Kluzniak87 #prolog #synthesis

Type Synthesis for Ground Prolog (FK), pp. 788–816.

ICLP-1987-Zobel87 #polymorphism #prolog #source code

Derivation of Polymorphic Types for PROLOG Programs (JZ), pp. 817–838.

ICLP-1987-TribbleMKBAS87 #named

Channels: A Generalization of Streams (EDT, MSM, KMK, DGB, CA, EYS), pp. 839–857.

ICLP-1987-Maher87 #logic #semantics #source code

Logic Semantics for a Class of Committed-Choice Programs (MJM), pp. 858–876.

ICLP-1987-LeviP87 #approach #declarative #logic #semantics

An Approach to the Declarative Semantics of Synchronization in Logic Languages (GL, CP), pp. 877–893.

ICLP-1987-OhkiTF87 #logic programming #object-oriented #parallel #programming language

An Object-Oriented Programming Language Based on the Parallel Logic Programming Language KL1 (MO, AT, KF), pp. 894–909.

ICLP-1987-Foster87 #design #logic #operating system

Logic Operating System: Design Issues (ITF), pp. 910–926.

ICLP-1987-ClarkG87 #prolog

PARLOG and PROLOG United (KLC, SG), pp. 927–961.

ICLP-1987-Gallaire87 #logic programming

Boosting Logic Programming (HG), pp. 962–988.

ICLP-1987-Pereira87 #logic

Grammars and Logics of Partial Information (FCNP), pp. 989–1013.

ICLP-1987-RamamohanaraoS87 #database #deduction #query

Answering Queries in Deductive Database Systems (KR, JS), pp. 1014–1033.

ICLP-1987-Sato87 #concurrent #logic #named

Quty: A Concurrent Language Based on Logic and Function (MS), pp. 1034–1056.