Proceedings of the Fourth Symposium on Logic Programming
SLP, 1987.

@proceedings{SLP-1987,
	address       = "San Francisco, California, USA",
	isbn          = "0-8186-0799-8",
	publisher     = "{IEEE-CS}",
	title         = "{Proceedings of the Fourth Symposium on Logic Programming}",
	year          = 1987,
}

Contents (51 items)

15 ×#prolog
14 ×#logic programming
13 ×#source code
8 ×#parallel
5 ×#logic
4 ×#deduction
4 ×#implementation
4 ×#semantics
3 ×#database
3 ×#execution

SLP-1987-AbadiM87 #logic programming

Temporal Logic Programming (MA, ZM), pp. 4–16.

SLP-1987-Ait-KaciLN87 #equation #logic

Le Fun: Logic, Equations and Functions (HAK, PL, RN), pp. 17–23.

SLP-1987-Chen87 #formal method #higher-order #logic

A Theory of Modules Based on Second-Order Logic (WC), pp. 24–33.

SLP-1987-HuberV87 #order #prolog

Extended Prolog for Order-Sorted Resolution (MH, IV), pp. 34–43.

SLP-1987-ShenW87 #execution #prolog #simulation

A Simulation Study of the Argonne Model for Or-Parallel Execution of Prolog (KS, DHDW), pp. 45–68.

SLP-1987-DiszL87 #behaviour #logic programming #parallel #source code #visual notation

A Graphical Tool for Observing the Behavior of Parallel Logic Programs (TD, ELL), pp. 46–53.

SLP-1987-HausmanCH87 #memory management #multi #performance #prolog

OR-Parallel Prolog Made Efficient on Shared Memory Multiprocessors (BH, AC, SH), pp. 69–79.

SLP-1987-DeGroot87 #strict

Restricted And-Parallelism and Side Effects (DD), pp. 80–89.

SLP-1987-Warren87 #design #execution #implementation #prolog

The SRI Model for Or-Parallel Execution of Prolog: Abstract Design and Implementation Issues (DHDW), pp. 92–102.

SLP-1987-NakashimaN87 #architecture #hardware

Hardware Architecture of the Sequential Inference Machine: PSI-II (HN, KN), pp. 104–113.

SLP-1987-TouatiD87 #automaton #empirical

An Empirical Study of the Warren Abstract Machine (HJT, AMD), pp. 114–124.

SLP-1987-Kale87 #logic programming #parallel

“Completeness” and “Full Parallelism” of Parallel Logic Programming Schemes (LVK), pp. 125–133.

SLP-1987-Winsborough87 #parallel #semantics

Semantically Transparent Selective Reset for AND Parallel Interpreters Based on the Origin of Failures (WHW), pp. 134–152.

SLP-1987-Blair87 #logic programming

Canoncical Conservative Extensions of Logic Program Completions (HAB), pp. 154–161.

SLP-1987-DeransartF87 #prolog

An Operational Formal Definition of PROLOG (PD, GF), pp. 162–172.

SLP-1987-Subrahmanian87 #logic programming #on the #semantics #source code

On the Semantics of Quantitative Logic Programs (VSS), pp. 173–182.

SLP-1987-CoxP87 #abduction

General Diagnosis by Abductive Inference (PTC, TP), pp. 183–189.

SLP-1987-BruynoogheJCD87 #abstract interpretation #optimisation #prolog #source code #towards

Abstract Interpretation: Towards the Global Optimization of Prolog Programs (MB, GJ, AC, BD), pp. 192–204.

SLP-1987-MannilaU87 #analysis #prolog #source code

Flow Analysis of Prolog Programs (HM, EU), pp. 205–214.

SLP-1987-SekiF87 #logic programming #source code

Notes on Transformation Techniques for Generate and Test Logic Programs (HS, KF), pp. 215–223.

SLP-1987-OkumuraM87 #parallel #programming

Parallel Programming with Layered Streams (AO, YM), pp. 224–232.

SLP-1987-SchmidtKGB87 #compilation #deduction

Compiling Exploratory and Goal-Directed Deduction into Sloppy Delta-Iteration (HS, WK, UG, RB), pp. 234–243.

SLP-1987-Mozes87 #database #deduction #logic

A Deductive Database Based on Aristotelian Logic (EM), pp. 244–252.

SLP-1987-Wallace87 #constraints #database #deduction #implementation #performance

Negation by Constraints: A Sound and Efficient Implementation of Negation in Deductive Databases (MW), pp. 253–263.

SLP-1987-Dietrich87 #logic programming

Extension Tables: Memo Relations in Logic Programming (SWD), pp. 264–272.

SLP-1987-Chikayama87 #parallel

Parallel Inference System Researches in the FGCS Project (TC), pp. 274–276.

SLP-1987-Takayama87 #compilation #prolog #proving #source code

Writing Programs as QJ Proof and Compiling into Prolog Programs (YT), pp. 278–287.

SLP-1987-Huntbach87 #algorithm #debugging

Algorithmic PARLOG Debugging (MMH), pp. 288–297.

SLP-1987-Drabent87 #logic programming #question #source code

Do Logic Programs Resemble Programs in Conventional Languages? (WD), pp. 289–396.

SLP-1987-DershowitzL87 #debugging #deduction

Deductive Debugging (ND, YJL), pp. 298–306.

SLP-1987-Debray87 #analysis #logic programming #source code

Flow Analysis of a Simple Class of Dynamic Logic Programs (SKD), pp. 307–316.

SLP-1987-LeviPBGM87 #logic #semantics

A Complete Semantic Characterization of K-Leaf: A Logic Language with Partial Functions (GL, CP, PGB, EG, CM), pp. 318–327.

SLP-1987-ShinNHM87 #canonical #functional #logic #unification

A Functional Logic Language Based on Canonical Unification (DWS, JHN, SH, SM), pp. 328–334.

SLP-1987-Holldobler87 #equation #logic programming

Equational Logic Programming (SH), pp. 335–346.

SLP-1987-Saraswat87 #haskell #named #problem #semantics

GHC: Operational Semantics, Problems, and Relationships with CP(|, |) (VAS), pp. 347–358.

SLP-1987-Wilson87 #case study #concurrent #logic programming

Concurrent α-β: A Study in Concurrent Logic Programming (WGW), pp. 360–367.

SLP-1987-SannellaW87 #calculus #composition #prolog #source code

A Calculus for the Construction of Modular Prolog Programs (DS, LAW), pp. 368–378.

SLP-1987-MillerN87 #approach #logic programming #source code

A Logic Programming Approach to Manipulating Formulas and Programs (DM, GN), pp. 379–388.

SLP-1987-ChenxiYLY87 #database #implementation #prolog

Implementation of a Prolog Code Database and Source Database in Compiler-Based Systems (CZ, TY, LL, HY), pp. 398–405.

SLP-1987-KumarL87 #backtracking #prolog

An Intelligent Backtracking Scheme for Prolog (VK, YJL), pp. 406–414.

SLP-1987-BarklundM87 #data type #prolog

Integrating Complex Data Structures in Prolog (JB, HM), pp. 415–425.

SLP-1987-GorlickK87 #prolog #source code

Timing Prolog Programs without Clock (MMG, CK), pp. 426–434.

SLP-1987-WestphalRCS87 #backtracking

The PEPSys Model: Combining Backtracking, AND- and OR-Parallelism (HW, PR, JCdK, JCS), pp. 436–448.

SLP-1987-Ali87 #execution #implementation #parallel #prolog

A Method for Implementing Cut in Parallel Execution of Prolog (KAMA), pp. 449–456.

SLP-1987-Conery87 #logic programming #memory management #parallel #source code

Binding Environments for Parallel Logic Programs in Non-Shared Memory Multiprocessors (JSC), pp. 457–467.

SLP-1987-KimuraC87 #set

An Abstract KL1 Machine and Its Instruction Set (YK, TC), pp. 468–477.

SLP-1987-OhwadaM87 #logic programming #parallel #simulation

Qualitative Simulation in Parallel Logic Programming (HO, FM), pp. 480–489.

SLP-1987-BushCMD87 #experience #hardware #prolog #specification

Experience with Prolog as a Hardware Specification Language (WRB, GC, PCM, AMD), pp. 490–498.

SLP-1987-MatwinSKMK87 #tool support

A Logic-Based Tools for Negotiation Support (SM, SS, GEK, WM, ZK), pp. 499–506.

SLP-1987-Reintjes87 #named

AUNT: A Universal Netlist Translator (PBR), pp. 508–515.

SLP-1987-KishimotoHKH87 #evaluation #source code

An Evaluation of the FGHC via Practical Application Programs (MK, AH, KK, AH), pp. 516–525.