David H. D. Warren, Péter Szeredi
Proceedings of the Seventh International Conference on Logic Programming
ICLP, 1990.

@proceedings{CLP-1990,
	address       = "Jerusalem, Israel",
	editor        = "David H. D. Warren and Péter Szeredi",
	isbn          = "0-262-73090-1",
	publisher     = "{MIT Press}",
	title         = "{Proceedings of the Seventh International Conference on Logic Programming}",
	year          = 1990,
}

Contents (56 items)

22 ×#logic programming
16 ×#source code
9 ×#prolog
6 ×#logic
4 ×#architecture
4 ×#database
4 ×#parallel
4 ×#performance
3 ×#algorithm
3 ×#compilation

CLP-1990-UedaM90 #haskell #implementation

A New Implementation Technique for Flat GHC (KU, MM), pp. 3–17.

CLP-1990-InamuraO90 #algorithm #detection

A Detection Algorithm of Perpetual Suspension in KL1 (YI, SO), pp. 18–30.

CLP-1990-HaridiJ90 #kernel #prolog

Kernel Andorra Prolog and its Computation Model (SH, SJ), pp. 31–46.

CLP-1990-KorslootM90 #architecture #comparison #modelling #performance #prolog

Sequential Architecture Models for Prolog: A Performance Comparison (MK, HMM), pp. 49–67.

CLP-1990-HarsatG90

An Extended RISC Methodology and its Application to FCP (AH, RG), pp. 67–82.

CLP-1990-NishidaKMG90 #architecture #evaluation #garbage collection #logic programming #parallel

Evaluation of MRB Garbage Collection on Parallel Logic Programming Architectures (KN, YK, AM, AG), pp. 83–95.

CLP-1990-ShmueliT90 #incremental #query

Incremental Re-evaluation of LDL Queries (OS, ST), pp. 99–111.

CLP-1990-ShmueliT90a #logic #source code

Logical Diagnosis of LDL Programs (OS, ST), pp. 112–129.

CLP-1990-GriefahnL90 #constraints #database #deduction #top-down

Top-Down Integrity Constraint Checking for Deductive Databases (UG, SL), pp. 130–144.

CLP-1990-Malhotra90 #algorithm #prolog

An Algorithm for Optimal Back-Striding in Prolog (VMM), pp. 147–158.

CLP-1990-ZhouTU90 #automaton #prolog

A Matching Tree Oriented Abstract Machine for Prolog (NFZ, TT, KU), pp. 159–173.

CLP-1990-Taylor90 #compilation #prolog

LIPS on a MIPS: Results from a Prolog Compiler for a RISC (AT), pp. 174–185.

CLP-1990-Hentenryck90 #constraints #incremental #logic programming

Incremental Constraint Satisfaction in Logic Programming (PVH), pp. 189–202.

CLP-1990-Paakki90 #attribute grammar #compilation

A Logic-Based Modification of Attribute Grammars for Practical Compiler Writing (JP), pp. 203–217.

CLP-1990-MuthukumarH90 #automation #definite clause grammar #independence #logic programming #parallel #source code

The DCG, UDG, and MEL Methods for Automatic Compile-time Parallelization of Logic Programs for Independent And-parallelism (KM, MVH), pp. 221–236.

CLP-1990-HermenegildoR90 #independence #strict

Non-Strict Independent And-Parallelism (MVH, FR), pp. 237–252.

CLP-1990-HermenegildoG90 #independence #performance #prolog

&-Prolog and its Performance: Exploiting Independent And-Parallelism (MVH, KJG), pp. 253–268.

CLP-1990-MeyerC90 #architecture #logic programming #source code

Architected Failure Handling for AND-Parallel Logic Programs (DMM, JSC), pp. 271–290.

CLP-1990-GiacobazziR90 #logic programming #optimisation #pipes and filters #source code

Pipeline Optimizations in AND-Parallel Logic Programs (RG, LR), pp. 291–305.

CLP-1990-Brogi90

AND-Parallelism without Shared Variables (AB), pp. 306–321.

CLP-1990-BoscoCMPS90 #architecture #distributed #functional #logic #memory management

Logic and Functional Programmin on Distributed Memory Architectures (PGB, CC, CM, MP, GS), pp. 325–339.

CLP-1990-ReynoldsK90 #problem #prolog

OR-Parallel Prolog and Search Problems in AI Applications (TJR, PK), pp. 340–354.

CLP-1990-DelcherK90 #anti #parallel #performance

Efficient Parallel Term Matching and Anti-Unification (ALD, SK), pp. 355–369.

CLP-1990-PareschiM90 #definite clause grammar

Extending Definite Clause Grammars with Scoping Constructs (RP, DM), pp. 373–389.

CLP-1990-PowerS90 #logic programming #source code

A Notion of Map between Logic Programs (AJP, LS), pp. 390–404.

CLP-1990-SawamuraMYO90 #approach #logic #logic programming #proving #specification

A Logic Programming Approach to Specifying Logics and Constructing Proofs (HS, TM, KY, KO), pp. 405–424.

CLP-1990-GiordanoM90 #maintenance #modelling

Generalized Stable Models, Truth Maintenance and Conflict Resolution (LG, AM), pp. 427–441.

CLP-1990-Fages90 #fixpoint #logic programming #semantics #source code

A New Fixpoint Semantics for General Logic Programs Compared with the Well-Founded and the Stable Model Semantics (FF), pp. 441–458.

CLP-1990-Przymusinski90 #semantics #source code

Extended Stable Semantics for Normal and Disjunctive Programs (TCP), pp. 459–477.

CLP-1990-MonteiroP90 #inheritance #logic programming

A Transformational View of Inheritance in Logic Programming (LM, AP), pp. 481–494.

CLP-1990-AndreoliP90 #inheritance #linear #logic #process

Linear Objects in a Logic Processes with Built-in Inheritance (JMA, RP), pp. 495–510.

CLP-1990-HodasM90 #logic programming #representation

Representing Objects in a Logic Programming Langueage with Scoping Constructs (JSH, DM), pp. 511–526.

CLP-1990-Sheng90 #higher-order #logic programming #relational

HIFUNLOG : Logic Programming with Higher-order Relational Functions (YHS), pp. 529–545.

CLP-1990-ChengER90 #functional #logic #on the #programming

On Warren’s Method for Functional Programming in Logic (MHMC, MHvE, BER), pp. 546–560.

CLP-1990-Bry90 #abduction #deduction

Intensional Updates: Abduction via Deduction (FB), pp. 561–575.

CLP-1990-GelfondL90 #logic programming #source code

Logic Programs with Classical Negation (MG, VL), pp. 579–597.

CLP-1990-KowalskiS90 #exception #logic programming #source code

Logic Programs with Exceptions (RAK, FS), pp. 598–613.

CLP-1990-AptB90 #source code

Acyclic Programs (KRA, MB), pp. 617–633.

CLP-1990-Plumer90 #logic programming #proving #source code #termination

Termination Proofs for Logic Programs Based on Predicate Inequalities (LP), pp. 634–648.

CLP-1990-SchreyeVB90 #detection #graph #horn clause #query #strict #using

A Practical Technique for Detecting Non-terminating Queries for a Restricted Class of Horn Clauses, Using Directed, Weighted Graphs (DDS, KV, MB), pp. 649–663.

CLP-1990-LauP90 #first-order #logic #recursion #specification #synthesis #top-down

Top-down Synthesis of Recursive Logic Procedures from First-order Logic Specifications (KKL, SDP), pp. 667–684.

CLP-1990-Fribourg90 #execution #induction #logic programming #prolog #proving #source code

Extracting Logic Programs from Proofs that Use Extended Prolog Execution and Induction (LF), pp. 685–699.

CLP-1990-VerschaetseSB90 #compilation #generative #performance

Generation and Compilation of Efficient Computation Rules (KV, DDS, MB), pp. 700–714.

CLP-1990-JacobsLW90 #logic programming #multi #runtime #source code

Multiple Specialization of Logic Programs with Run-Time Test (DJ, AL, WHW), pp. 717–731.

CLP-1990-GallagherB90 #algorithm

The Derivation of an Algorithm for Program Specialisation (JPG, MB), pp. 732–746.

CLP-1990-MulkersWB90 #analysis #data type

Analysis of Shared Data Structures for Compile-Time Garbage (AM, WHW, MB), pp. 747–762.

CLP-1990-Reiter90 #database #question #what

What Should a Database Know? (RR), p. 765.

CLP-1990-Colmerauer90 #prolog

Prolog III as it Actually Is (AC), p. 766.

CLP-1990-Vardi90 #database #logic programming #optimisation #problem #source code

Global Optimization Problems for Database Logic Programs (MYV), pp. 767–771.

CLP-1990-Harel90 #how #question #source code

How Hard Is It to Reason about Propositional Programs? (DH), pp. 772–773.

CLP-1990-Saraswat90 #concurrent #constraints #paradigm #programming

The Paradigm of Concurrent Constraint Programming (VAS), pp. 777–778.

CLP-1990-Gaifman90 #logic programming #semantics #source code

Semantics of Logic Programs (HG), pp. 779–782.

CLP-1990-Beeri90 #database #logic programming

Logic Programming and Databases (CB), p. 783.

CLP-1990-Miller90 #higher-order #logic programming

Higher-Order Logic Programming (DM), p. 784.

CLP-1990-Kergommeaux90 #logic programming #parallel

Parallel Logic Programming Systems (JCdK), p. 785.

CLP-1990-Pfenning90 #logic programming

Types in Logic Programming (FP), p. 786.