Michel Van Caneghem
Proceedings of the First International Logic Programming Conference
ILPC, 1982.

@proceedings{ILPC-1982,
	address       = "Marseille, France",
	editor        = "Michel Van Caneghem",
	publisher     = "{ADDP-GIA}",
	title         = "{Proceedings of the First International Logic Programming Conference}",
	year          = 1982,
}

Contents (36 items)

15 ×#prolog
8 ×#logic
8 ×#source code
6 ×#logic programming
4 ×#named
4 ×#programming
3 ×#concurrent
3 ×#natural language
2 ×#relational
2 ×#semantics

ILPC-1982-Monteiro82 #concurrent #horn clause #logic #specification

A Horn Clause-like Logic for Specifying Concurrency (LM), pp. 1–8.

ILPC-1982-Pereira82 #logic

Logic Control with Logic (LMP), pp. 9–18.

ILPC-1982-Kahn82 #lisp #prolog #source code

A Partial Evaluator of Lisp Programs Written in Prolog (KMK), pp. 19–25.

ILPC-1982-Bowen82 #concurrent #execution #logic

Concurrent Execution of Logic (KAB), pp. 26–30.

ILPC-1982-Porto82 #logic #named #programming

Epilog: A Language for Extended Programming in Logic (AP), pp. 31–37.

ILPC-1982-FurukawaNM82 #concurrent #interpreter #programming #prolog

Prolog Interpreter Based on Concurrent Programming (KF, KN, YM), pp. 38–44.

ILPC-1982-PerceboisS82 #prolog

A Lisp-machine to Implement Prolog (CP, JPS), pp. 45–51.

ILPC-1982-Bruynooghe82 #garbage collection #prolog

A Note on Garbage-Collection in Prolog Interpreters (MB), pp. 52–55.

ILPC-1982-Emden82 #algorithm #prolog #source code

An Algorithm for Interpreting Prolog Programs (MHvE), pp. 56–64.

ILPC-1982-Nakashima82 #named #prolog

Prolog/KR — Language Features (HN), pp. 65–70.

ILPC-1982-EisingerKM82 #approach #logic programming #parallel

Logic Programming: A Parallel Approach (NE, SK, JM), pp. 71–77.

ILPC-1982-Grumbach82 #information management #prolog

Knowledge Acquisition in Prolog (AG), pp. 78–84.

ILPC-1982-HirschmanP82 #prolog #strict

Restriction Grammar in Prolog (LH, KP), pp. 85–90.

ILPC-1982-ChakravarthyMT82 #database #logic #relational

Interfacing Predicate Logic Languages and Relational Databases (USC, JM, DT), pp. 91–98.

ILPC-1982-Ennals82 #education #logic

Teaching Logic as a Computer Language in Schools (RE), pp. 99–104.

ILPC-1982-SebelikS82 #graph #prolog #source code

Graphs as Data in Prolog Programs (JS, PS), pp. 105–109.

ILPC-1982-RoachF82 #migration #prolog #simulation

A Prolog Simulation of Migration Decision Making in a Less Developed Country (JWR, TDF), pp. 110–115.

ILPC-1982-Skuce82 #automation #development #generative #program transformation

Module Development Based on Program Transformation and Automatic Generation of the Input-output Relation (DRS), pp. 116–122.

ILPC-1982-FarkasSS82 #named #specification

LDM: A Program Specification Support System (ZF, PS, EST), pp. 123–128.

ILPC-1982-Bruynooghe82a #prolog #reliability #source code

Adding Redundancy to Obtain more Reliable and Readable Prolog Programs (MB), pp. 129–133.

ILPC-1982-Kurokawa82 #logic programming #re-engineering #what

Logic Programming — What Does it Bring to the Software Engineering (TK), pp. 134–138.

ILPC-1982-MarkuszK82 #design #programming #prolog

A Design Methodology in Prolog Programming (ZM, AAK), pp. 139–145.

ILPC-1982-ErikssonJT82 #editing #towards

Towards a Derivation Editor (AE, ALJ, SÅT), pp. 146–151.

ILPC-1982-Shapiro82 #complexity #logic programming #source code

Alternation and the Computational Complexity of Logic Programs (EYS), pp. 154–163.

ILPC-1982-Blair82

The Undecidability of Two Completeness Notions for the “Negation as Failure” (HAB), pp. 164–168.

ILPC-1982-Sato82 #prolog #semantics #source code

Negation and Semantics of Prolog Programs (TS), pp. 169–174.

ILPC-1982-BarbutiDL82 #logic programming #proving #source code #towards

Toward an Inductionless Technique for Proving Properties of Logic Programs (RB, PD, GL), pp. 175–181.

ILPC-1982-Abramson82

Unification-based Conditional Binding Constructs (HA), pp. 182–186.

ILPC-1982-Morris82 #logic programming #relational #source code

Relational Production Systems and Logic Programs (PHM), pp. 187–192.

ILPC-1982-MaluszynskiN82 #comparison #logic programming #programming language #prolog

A Comparison of the Logic Programming Language Prolog with Two-levels Grammars (JM, JFN), pp. 193–199.

ILPC-1982-PereiraSO82 #evaluation #named #natural language

ORBI — An Expert System for Environmental Resource Evaluation through Natural Language (LMP, PS, EO), pp. 200–209.

ILPC-1982-JoubertFFR82 #logic

Medical Decision Aid: Logic Bases of the System SPHINX (MJ, MF, DF, MR), pp. 210–214.

ILPC-1982-Pique82 #natural language #on the #representation #semantics

On a Semantic Representation of Natural Language Sentences (JFP), pp. 215–223.

ILPC-1982-PereiraP82 #implementation #prolog #scalability

A Prolog Implementation of a Large System on a Small Machine (LMP, AP), pp. 225–229.

ILPC-1982-Pasero82 #natural language

A Dialogue in Natural Language (RP), pp. 231–239.

ILPC-1982-Eshghi82 #fault #logic #metalanguage #programming

Application of Meta-language Programming to Fault Finding in Logic Circuits (KE), pp. 240–246.