Saumya K. Debray, Manuel V. Hermenegildo
Proceedings of the North American Conference on Logic Programming, 2 Volumes
NACLP, 1990.

@proceedings{NACLP-1990,
	address       = "Austin, Texas, USA",
	editor        = "Saumya K. Debray and Manuel V. Hermenegildo",
	isbn          = "0-262-54058-4",
	publisher     = "{MIT Press}",
	title         = "{Proceedings of the North American Conference on Logic Programming, 2 Volumes}",
	year          = 1990,
}

Contents (49 items)

17 ×#logic programming
13 ×#source code
9 ×#prolog
7 ×#constraints
6 ×#parallel
5 ×#logic
4 ×#partial evaluation
4 ×#semantics
3 ×#algebra
3 ×#analysis

NACLP-1990-LeviMP #symmetry

Failure and Success made Symmetric (GL, MM, CP), pp. 3–22.

NACLP-1990-MancarellaPRT #algebra #logic programming #source code

Algebraic Properties of a Class of Logic Programs (PM, DP, MR, MT), pp. 23–39.

NACLP-1990-Przymusinski #database #deduction #logic programming #semantics #source code

Stationary Semantics for Disjunctive Logic Programs and Deductive Databases (TCP), pp. 40–59.

NACLP-1990-Meier #compilation #prolog

Compilation of Compound Terms in Prolog (MM), pp. 63–79.

NACLP-1990-Umrigar #order #prolog #unification

Finding Advantageous Orders for Argument Unification for the Prolog WAM (ZDU), pp. 80–96.

NACLP-1990-KligerS #graph

From Decision Trees to Decision Graphs (SK, EYS), pp. 97–116.

NACLP-1990-SmithH #partial evaluation

Partial Evaluation of a CLP Language (DAS, TJH), pp. 119–138.

NACLP-1990-OhwadaM #approach #consistency #constraints #design #interface #logic programming #maintenance

A Constraint Logic Programming Approach for Maintaining Consistency in User-Interface Design (HO, FM), pp. 139–153.

NACLP-1990-JourdanV #constraints #logic programming #reasoning

Constraint Logic Programming Applied to Hypothetical Reasoning in Chemistry (JJ, REVP), pp. 154–172.

NACLP-1990-BoerP #comparison #concurrent #logic programming

Concurrent Logic Programming: Asynchronism and Language Comparison (FSdB, CP), pp. 175–194.

NACLP-1990-JacquetM #comparative #logic programming #parallel #programming language #semantics

Comparative Semantics for a Parallel Contextual Logic Programming Language (JMJ, LM), pp. 195–214.

NACLP-1990-CodognetCC #abstract interpretation #concurrent #logic

Abstract Interpretation for Concurrent Logic Languages (CC, PC, MMC), pp. 215–232.

NACLP-1990-Sagiv #question

Is There Anything Better than Magic? (YS), pp. 235–254.

NACLP-1990-NaqviR #consistency #database #reasoning

Reasoning in Inconsistent Databases (SAN, FR), pp. 255–272.

NACLP-1990-Liu #null #source code

Null Values in Definite Programs (YL), pp. 273–288.

NACLP-1990-OzawaHH #garbage collection #generative #logic #parallel

Generation Type Garbage Collection for Parallel Logic Languages (TO, AH, AH), pp. 291–305.

NACLP-1990-WeemeeuwD #memory management #multi

A la Recherche de la Mémoire Perdue OR Memory Compaction for Shard Memory Multiprocessors (PW, BD), pp. 306–320.

NACLP-1990-AlkalajLS #automaton #development

FCP Sequential Abstract Machine Characteristics for the Systems Development Workload (LA, TL, EYS), pp. 321–339.

NACLP-1990-BenkerimiL #logic programming #partial evaluation #source code

A Partial Evaluation Procedure for Logic Programs (KB, JWL), pp. 343–358.

NACLP-1990-BugliesiLM #logic #partial evaluation

Partial Evaluation for Hierarchies of Logic Theories (MB, EL, PM), pp. 359–376.

NACLP-1990-Sahlin #approach #automation #partial evaluation #prolog

The Mixtus Approach to Automatic Partial Evaluation of Full Prolog (DS), pp. 377–398.

NACLP-1990-CoxMT #complexity #constraints #logic programming #programming language

Computational Complexity and Constraint Logic Programming Languages (JC, KM, CT), pp. 401–415.

NACLP-1990-LimS #constraints #metaprogramming

Meta Programming as Constraint Programming (PL, PJS), pp. 416–430.

NACLP-1990-SaraswatKL #constraints #distributed #named #programming #towards

Janus: A step towards distributed constraint programming (VAS, KMK, JL), pp. 431–446.

NACLP-1990-BonacinaH #semantics #source code

Operational and Denotational Semantics of Rewrite Programs (MPB, JH), pp. 449–464.

NACLP-1990-Bol #performance #towards

Towards More Efficient Loop Checks (RNB), pp. 465–479.

NACLP-1990-GrecoS #logic programming #source code

Negative Logic Programs (SG, DS), pp. 480–497.

NACLP-1990-RoyD #analysis #compilation #data flow #optimisation #prolog

The Benefits of Global Dataflow Analysis for an Optimizing Prolog Compiler (PVR, AMD), pp. 501–515.

NACLP-1990-KempR #abstract interpretation #algebra #framework #source code

An Algebraic Framework for Abstract Interpretation of Definite Programs (RSK, GAR), pp. 516–530.

NACLP-1990-MarriottS #analysis #constraints #logic programming #source code

Analysis of Constraint Logic Programs (KM, HS), pp. 531–547.

NACLP-1990-Helm #execution #on the

On the Elimination of Redundant Derivations During Execution (RH), pp. 551–568.

NACLP-1990-Spencer #proving

Avoiding Duplicate Proofs (BS), pp. 569–584.

NACLP-1990-Andrews #logic #prolog

The Logical Structure of Sequential Prolog (JHA), pp. 585–602.

NACLP-1990-GuptaJ #implementation #optimisation #parallel

Optimizing And-Or Parallel Implementations (GG, BJ), pp. 605–623.

NACLP-1990-KaleR #parallel

Joining AND Parallel Solutions in AND/OR Parallel Systems (LVK, BR), pp. 624–641.

NACLP-1990-Crammond #implementation #parallel #scheduling

Scheduling and Variable Assignment in the Parallel PARLOG Implementation (JAC), pp. 642–657.

NACLP-1990-MarriottSD #logic programming #source code

A Characterization of Non-Floundering Logic Programs (KM, HS, PWD), pp. 661–680.

NACLP-1990-BonnerM #logic programming

Adding Negation-as-Failure to Intuitionistic Logic Programming (AJB, LTM), pp. 681–703.

NACLP-1990-Lobo #logic programming #on the #source code

On Constructive Negation for Disjunctive Logic Programs (JL), pp. 704–718.

NACLP-1990-Hausman #evaluation #prolog

Handling Speculative Work in OR-Parallel Prolog: Evaluation Results (BH), pp. 721–736.

NACLP-1990-GuptaJ90a #execution #logic programming #modelling #on the #source code

On Criteria for Or-Parallel Execution Models of Logic Programs (GG, BJ), pp. 737–756.

NACLP-1990-AliK #performance #prolog

The Muse Or-Parallel Prolog Model and its Performance (KAMA, RK), pp. 757–776.

NACLP-1990-Barwise #logic #named

Hyperproof: An Excursion in Situated Logic (JB), pp. 779–787.

NACLP-1990-CorradiniM #algebra #logic programming #semantics #source code

An Algebraic Semantics of Logic Programs as Structured Transition Systems (AC, UM), pp. 788–812.

NACLP-1990-Pereira #analysis #prolog

Prolog and Natural-Language Analysis: Into the Third Decade (FCNP), pp. 813–832.

NACLP-1990-Ciepielewski #implementation #parallel #prolog

Parallel Implementations of Prolog (AC), p. 835.

NACLP-1990-Reddy #logic programming #source code

Types for Logic Programs (USR), pp. 836–840.

NACLP-1990-Hentenryck #constraints #logic programming

Constraint Logic Programming: From Theory to Applications (PVH), p. 841.

NACLP-1990-Zaniolo #database #deduction #programming

Deductive Database Systems: Applications and Programming (CZ), pp. 842–845.