Proceedings of the First International Symposium on Logic Programming
SLP, 1984.

@proceedings{SLP-1984,
	address       = "Atlantic City, New Jersey, USA",
	isbn          = "0-8186-0522-7",
	publisher     = "{IEEE-CS}",
	title         = "{Proceedings of the First International Symposium on Logic Programming}",
	year          = 1984,
}

Contents (35 items)

17 ×#prolog
10 ×#logic programming
6 ×#implementation
6 ×#parallel
4 ×#functional
4 ×#programming
3 ×#concurrent
3 ×#logic
3 ×#semantics
3 ×#source code

SLP-1984-Borgwardt84 #parallel #prolog #stack #using

Parallel Prolog Using Stack Segements on Shared-Memory Multiprocessors (PB), pp. 2–11.

SLP-1984-WarrenADK84 #distributed #network #prolog #source code

Executing Distributed Prolog Programs on a Broadcast Network (DSW, MA, SKD, LVK), pp. 12–21.

SLP-1984-Nakagawa84 #parallel #prolog #set

AND Parallel PROLOG with Divided Assertion Set (HN), pp. 22–28.

SLP-1984-TickW84 #pipes and filters #prolog #towards

Towards a Pipelined Prolog Processor (ET, DHDW), pp. 29–40.

SLP-1984-TamuraK84 #implementation #parallel #prolog

Implementing Parallel Prolog on a Multiprocessor Machine (NT, YK), pp. 42–48.

SLP-1984-CiepielewskiH84 #process

Control of Activities in the Or-Parallel Token Machine (AC, SH), pp. 49–57.

SLP-1984-TaylorLMS84 #logic programming #parallel #using

Logic Programming Using Parallel Associative Operations (ST, AL, GQMJ, SJS), pp. 58–68.

SLP-1984-Khabaza84 #parallel

Negation as Failure and Parallelism (TK), pp. 70–75.

SLP-1984-Gelernter84 #concurrent #programming #prolog

A Note on Systems Programming in Concurrent Prolog (DG), pp. 76–82.

SLP-1984-ShapiroM84 #concurrent #implementation #prolog #self #specification

Fair, Biased, and Self-Balancing Merge Operators: Their Specification and Implementation in Concurrent Prolog (EYS, CM), pp. 83–90.

SLP-1984-AponteFR84 #editing #first-order #proving

Editing First-Order Proofs: Programmed Rules vs Derived Rules (MVA, JAF, PR), pp. 92–98.

SLP-1984-HellersteinS84 #algorithm #concurrent #experience #implementation #parallel #prolog

Implementing Parallel Algorithms in Concurrent Prolog: The MAXFLOW Experience (LH, EYS), pp. 99–115.

SLP-1984-MiyachiKKFTY84 #database #logic

A Knowledge Assimilation Method for Logic Databases (TM, SK, HK, KF, AT, HY), pp. 118–125.

SLP-1984-Nakashima84 #information management #prolog #representation

Knowledge representation in Prolog/KR (HN), pp. 126–130.

SLP-1984-KitakamiKMF84 #implementation #information management

A Methodology for Implementation of a Knowledge Acquisition System (HK, SK, TM, KF), pp. 131–142.

SLP-1984-SubrahmanyamY84 #concept #evaluation #functional #logic programming

Conceptual Basis and Evaluation Strategies for Integrating Functional and Logic Programming (PAS, JHY), pp. 144–153.

SLP-1984-Carlsson84 #functional #implementation #on the #programming #prolog

On Implementing Prolog in Functional Programming (MC), pp. 154–159.

SLP-1984-BarbutiBLM84 #functional #integration #logic programming #on the

On the Integration of Logic Programming and Functional Programming (RB, MB, GL, MM), pp. 160–166.

SLP-1984-LindstromP84 #execution #logic programming

Stream-Based Execution of Logic Programming (GL, PP), pp. 168–176.

SLP-1984-Smith84 #logic programming

Logic Programming on an FFP Machine (BS), pp. 177–186.

SLP-1984-Reddy84 #functional #logic programming #source code

Transformation of Logic Programs into Functional Programs (USR), pp. 187–196.

SLP-1984-Warren84 #flexibility #memory management #performance #prolog

Efficient Prolog Memory Management for Flexible Control Strategies (DSW), pp. 198–202.

SLP-1984-WiseP84 #prolog #word

Indexing Prolog Clauses via Superimposed Code Words and Filed Encoded Words (MJW, DMWP), pp. 203–210.

SLP-1984-Stickel84 #prolog #proving #theorem proving

A Prolog Technology Theorem Prover (MES), pp. 211–217.

SLP-1984-UeharaOKT84 #bottom-up #implementation #logic #overview #parsing

A Bottom-Up Parser Based on Predicate Logic: A Survey of the Formalism and its Implementation Technique (KU, RO, OK, JT), pp. 220–227.

SLP-1984-PortoF84 #approach #logic programming #natural language #semantics

Natural Language Semantics: A Logic Programming Approach (AP, MF), pp. 228–232.

SLP-1984-Abramson84 #definite clause grammar

Definite Clause Translation Grammars (HA), pp. 233–240.

SLP-1984-Kahn84 #logic programming #source code

A Primitive for the Control of Logic Programs (KMK), pp. 242–251.

SLP-1984-BroughE84 #data flow #logic #programming

Dataflow, Flowcharts, and “LUCID”-style Programming in Logic (DRB, MHvE), pp. 252–258.

SLP-1984-Tamaki84 #logic programming #programming language #semantics

Semantics of a Logic Programming Language with a Reducibility Predicate (HT), pp. 259–264.

SLP-1984-Zaniolo84 #object-oriented #programming #prolog

Object-Oriented Programming in Prolog (CZ), pp. 265–270.

SLP-1984-Plaisted84 #problem #prolog

The Occur-Check Problem in Prolog (DAP), pp. 272–280.

SLP-1984-JonesM84 #development #prolog #semantics

Stepwise Development of Operational and Denotational Semantics for Prolog (NDJ, AM), pp. 281–288.

SLP-1984-Mishra84 #formal method #prolog #towards

Towards a Theory of Types in Prolog (PM), pp. 289–298.

SLP-1984-GergelyS84 #logic programming

Cuttable Formulas for Logic Programming (TG, MS), pp. 299–310.