Sten-Åke Tärnlund
Proceedings of the Second International Logic Programming Conference
ILPC, 1984.

@proceedings{ILPC-1984,
	address       = "Uppsala, Sweden",
	editor        = "Sten-Åke Tärnlund",
	publisher     = "{Uppsala University}",
	title         = "{Proceedings of the Second International Logic Programming Conference}",
	year          = 1984,
}

Contents (28 items)

10 ×#logic programming
10 ×#prolog
6 ×#source code
4 ×#concurrent
4 ×#logic
3 ×#architecture
2 ×#algorithm
2 ×#interpreter
2 ×#parallel
2 ×#unification

ILPC-1984-TakagiYUKHCST84 #design

Overall design of SIMPOS (ST, TY, SU, TK, TH, TC, KS, JT), pp. 1–12.

ILPC-1984-Nilsson84 #optimisation #prolog

Prolog as a Tool for Optimizing Prolog Unifiers (MN), pp. 13–21.

ILPC-1984-Pique84 #equation #prolog

Drawing Trees and their Equations in Prolog (JFP), pp. 23–33.

ILPC-1984-EmdenL84 #logic #prolog #re-engineering

A Logical Reconstruction of Prolog II (MHvE, JWL), pp. 35–40.

ILPC-1984-Miklos84 #case study #comparison #logic programming #programming language

A Comparison of two Logic Programming Languages: A Case Study (MS), pp. 41–51.

ILPC-1984-StepankovaS84 #logic programming #source code

Computation Trees and Transformations of Logic Programs (OS, PS), pp. 53–63.

ILPC-1984-McCord84 #semantics

Semantic Interpretation for the Epistle System (MCM), pp. 65–76.

ILPC-1984-Dahl84 #on the #semiparsing

On Gapping Grammars (VD), pp. 77–88.

ILPC-1984-HirakawaCF84 #concurrent #lazy evaluation #prolog

Eager and Lazy Enumerations in Concurrent Prolog (HH, TC, KF), pp. 89–100.

ILPC-1984-EriksonR84 #array #logic programming

Incorporating Mutable Arrays into Logic Programming (LHE, MR), pp. 101–114.

ILPC-1984-GoguenM84 #logic programming #similarity

Equality, Types, Modules and Generics for Logic Programming (JAG, JM), pp. 115–125.

ILPC-1984-TamakiS84 #logic programming #source code

Unfold/Fold Transformation of Logic Programs (HT, TS), pp. 127–138.

ILPC-1984-Sintzoff84 #bound #source code #strict

Bounded-Horizon Success-Complete Restriction of Inference Programs (MS), pp. 139–150.

ILPC-1984-Plaisted84 #algorithm #debugging #performance

An Efficient Bug Location Algorithm (DAP), pp. 151–157.

ILPC-1984-Lindstrom84 #architecture

Or-Parallelism on Applicative Architectures (GL), pp. 159–170.

ILPC-1984-KaleW84 #architecture #prolog

A Class of Architectures for a Prolog Machine (LVK, DSW), pp. 171–182.

ILPC-1984-CrammondM84 #architecture #logic #parallel

An Architecture for Parallel Logic Languages (JAC, CDFM), pp. 183–194.

ILPC-1984-Kacsuk84 #data flow #interpreter #parallel #prolog

A Highly Parallel Prolog Interpreter Based on the Generalized Data Flow Model (PK), pp. 195–205.

ILPC-1984-SabbatelDIN84 #database #prolog #unification

Unification for a Prolog Data Base Machine (GBS, WD, JCI, GTN), pp. 207–217.

ILPC-1984-BoscoGG84 #concurrent #logic #process #prolog #specification #verification

A Prolog System for the Verification of Concurrent Processes Against Temporal Logic Specifications (PGB, GG, EG), pp. 219–229.

ILPC-1984-Sterling84 #logic #problem

Logical Levels of Problem Solving (LS), pp. 231–242.

ILPC-1984-Johansson84 #logic programming #source code #symmetry #using

Using Symmetry for the Derivation of Logic Programs (ALJ), pp. 243–251.

ILPC-1984-SunW84 #logic programming

A Model Theory of Logic Programming Methodology (HS, LW), pp. 253–262.

ILPC-1984-WolframML84 #logic programming #source code

A Unified Treatment of Resolution Strategies for Logic Programs (DAW, MJM, JLL), pp. 263–276.

ILPC-1984-DershowitzJ84 #logic programming

Logic Programming by Completion (ND, NAJ), pp. 313–320.

ILPC-1984-Nakamura84 #concurrent #evaluation #logic programming #source code

Associative Concurrent Evaluation of Logic Programs (KN), pp. 321–331.

ILPC-1984-Levy84 #algorithm #concurrent #prolog #unification

A Unification Algorithm for Concurrent Prolog (JL), pp. 333–341.

ILPC-1984-BekkersCRU84 #interpreter #memory management #prolog

A Memory Management Machine for Prolog Interpreter (YB, BC, OR, LU), pp. 343–353.