Ewing L. Lusk, Ross A. Overbeek
Proceedings of the North American Conference on Logic Programming, 2 Volumes
NACLP, 1989.

@proceedings{NACLP-1989,
	address       = "Cleveland, Ohio, USA",
	editor        = "Ewing L. Lusk and Ross A. Overbeek",
	isbn          = "0-262-62064-2",
	publisher     = "{MIT Press}",
	title         = "{Proceedings of the North American Conference on Logic Programming, 2 Volumes}",
	year          = 1989,
}

Contents (69 items)

22 ×#logic programming
16 ×#source code
8 ×#on the
8 ×#performance
8 ×#prolog
6 ×#parallel
6 ×#semantics
5 ×#constraints
5 ×#execution
5 ×#multi

NACLP-1989-Przymusinski #logic programming #on the

On Constructive Negation in Logic Programming (TCP).

NACLP-1989-WilsonB #comparison #constraints #logic programming

Extending Hierarchical Constraint Logic Programming: Nonmonotonicity and Inter-Hierarchy Comparison (MW, AB), pp. 3–19.

NACLP-1989-MaherS #constraints #logic programming #programming language #query

Expanding Query Power in Constraint Logic Programming Languages (MJM, PJS), pp. 20–36.

NACLP-1989-LassezHM #constraints #linear

Simplification and Elimination of Redundant Linear Arithmetic Constraints (JLL, TH, KM), pp. 37–51.

NACLP-1989-HeintzeMSY #metaprogramming #on the

On Meta-Programming in CLR(R) (NH, SM, PJS, RHCY), pp. 52–66.

NACLP-1989-Bezem #logic programming #source code #termination

Characterizing Termination of Logic Programs with Level Mappings (MB), pp. 69–80.

NACLP-1989-Suchenek

A Syntactic Characterization of Minimal Entailment (MAS), pp. 81–91.

NACLP-1989-CasanovaGS #logic programming #source code

Computing Answers to Logic Programs with Weak Model Elimination (MAC, RAdTG, AS), pp. 92–114.

NACLP-1989-Wakayama #monad

Monadic Cases: Rediscovering Input Resolution (TW), pp. 115–130.

NACLP-1989-Winsborough #analysis #multi #reachability

Path-Dependent Reachability Analysis for Multiple Specialization (WHW), pp. 133–153.

NACLP-1989-JacobsL #alias #approximate #logic programming #performance #source code

Accurate and Efficient Approximation of Variable Aliasing in Logic Programs (DJ, AL), pp. 154–165.

NACLP-1989-MuthukumarH #abstract interpretation #dependence

Determination of Variable Dependence Information through Abstract Interpretation (KM, MVH), pp. 166–185.

NACLP-1989-Searls #definite clause grammar

Investigating the Linguistics of DNA with Definite Clause Grammars (DBS), pp. 189–208.

NACLP-1989-HeED #database

An Expert System which Intelligently Accesses an External Database (XH, GWE, FD), pp. 209–223.

NACLP-1989-MarkovitchS #approach #automation #machine learning

Automatic Ordering of Subgoals — A Machine Learning Approach (SM, PDS), pp. 224–240.

NACLP-1989-MarekT #logic programming #semantics #source code

Stable Semantics for Logic Programs and Default Theories (VWM, MT), pp. 243–256.

NACLP-1989-Batarekh #convergence #fixpoint

Convergence Issues and Fixed Points of Non-Monotone Maps (AB), pp. 257–273.

NACLP-1989-PimentelC #maintenance #modelling

A Truth Maintenance System Based on Stable Models (SGP, JLC), pp. 274–290.

NACLP-1989-YouL #logic programming

Supported Circumscription and Its Relation to Logic Programming with Negation (JHY, LL), pp. 291–309.

NACLP-1989-RamkumarK #execution #multi #process

Compiled Execution of the Reduce-OR Process Model on Multiprocessors (BR, LVK), pp. 313–331.

NACLP-1989-GuptaJ #memory management #parallel

Combined And-Or Parallelism on Shared Memory Multiprocessors (GG, BJ), pp. 332–349.

NACLP-1989-ChangC #execution #strict

Restricted AND-Parallelism Execution Model with Side-Effects (SEC, YPC), pp. 350–368.

NACLP-1989-HermenegildoR #correctness #independence #logic programming #on the #performance #source code

On the Correctness and Efficiency of Independent And-Parallelism in Logic Programs (MVH, FR), pp. 369–389.

NACLP-1989-SaletoreK #execution #logic programming #parallel #performance #source code

Obtaining First Solutions Faster in AND-OR Parallel Execution of Logic Programs (VAS, LVK), pp. 390–406.

NACLP-1989-DevilleB #logic programming #source code #towards

Generalization and Program Schemata: A Step Towards Computer-Aided Construction of Logic Programs (YD, JB), pp. 409–425.

NACLP-1989-Lakhotia #programming #prolog #source code

Incorporating “Programming Techniques” into Prolog Programs (AL), pp. 426–440.

NACLP-1989-MelloNR #logic programming #perspective #re-engineering

Logic Programming in a Software Engineering Perspective (PM, AN, CR), pp. 441–458.

NACLP-1989-MaluszynskiN

Fail Substitutions for Negation as Failure (JM, TN), pp. 461–476.

NACLP-1989-Chan

An Extension of Constructive Negation and its Application in Coroutining (DC), pp. 477–493.

NACLP-1989-FosterT #named #parallel #programming

Strand: A Practical Parallel Programming Tool (ITF, ST), pp. 497–512.

NACLP-1989-KahnK #concurrent #logic programming

Money as a Concurrent Logic Program (KMK, WAK), pp. 513–535.

NACLP-1989-Nystrom #concurrent #execution #logic

Variable-Free Execution of Concurrent Logic Languages (SON), pp. 536–552.

NACLP-1989-GaifmanMS #behaviour #concurrent #constraints #logic programming #semantics #source code

Reactive Behaviour Semantics for Concurrent Constraint Logic Programs (HG, MJM, EYS), pp. 553–569.

NACLP-1989-RajasekarM #semantics #source code

A Stratification Semantics for General Disjunctive Programs (AR, JM), pp. 573–586.

NACLP-1989-DungK #on the #source code

On the Generalized Predicate Completion of Non-Horn Programs (PMD, KK), pp. 587–603.

NACLP-1989-DungK89a #approach #declarative #fixpoint #logic programming #semantics #source code

A Fixpoint Approach to Declarative Semantics of Logic Programs (PMD, KK), pp. 604–625.

NACLP-1989-Harland

A Kripke-like Model for Negation as Failure (JH), pp. 626–642.

NACLP-1989-BugliesiR #partial evaluation #prolog

Partial Evaluation in Prolog: Some Improvements about Cut (MB, FR), pp. 645–660.

NACLP-1989-FurukawaFS #partial evaluation #performance

Deriving an Efficient Production System by Partial Evaluation (KF, HF, TS), pp. 661–674.

NACLP-1989-Lin #backtracking #parallel #performance #random

Expected Performance of the Randomized Parallel Backtracking Method (ZL), pp. 677–696.

NACLP-1989-Mudambi #analysis #multi #performance

Performance Analysis of Aurora on a Switch-Based Multiprocessor (SM), pp. 697–712.

NACLP-1989-Szeredi #analysis #performance #prolog

Performance Analysis of the Aurora Or-Parallel Prolog System (PS), pp. 713–732.

NACLP-1989-Chau #comparison #logic

Narrowing Grammar: A Comparison with Other Logic Grammars (HLC), pp. 735–754.

NACLP-1989-Bernth #comprehension #logic

Discourse Understanding in Logic (AB), pp. 755–771.

NACLP-1989-SataluriF #logic programming #semantics #source code #specification #using

Semantic Specification Using Logic Programs (SRS, ACF), pp. 772–791.

NACLP-1989-KrishnamurthyNZ #database #transaction

Database Transactions in LDL (RK, SAN, CZ), pp. 795–815.

NACLP-1989-HanL #linear #multi #recursion

Processing Multiple Linear Recursions (JH, LL), pp. 816–830.

NACLP-1989-BonnerMV #database #logic #query

Expressing Database Queries with Intuitionistic Logic (AJB, LTM, KVV), pp. 831–850.

NACLP-1989-ChenW #abduction

Abductive Resoning with Structured Data (WC, DSW), pp. 851–867.

NACLP-1989-Meier #prolog

Event Handling in Prolog (MM), pp. 871–887.

NACLP-1989-MadanPS #lisp #on the #prolog

On the Adequacy of Direct Mapped Caches for Lisp and Prolog Data Reference Patterns (VSM, CJP, GSS), pp. 888–906.

NACLP-1989-InamuraIRN #evaluation #multi #optimisation #using

Optimizing Techniques Using the MRB and Their Evaluation on the Multi-PSI/V2 (YI, NI, KR, KN), pp. 907–921.

NACLP-1989-XuKT #distributed #garbage collection #parallel

Distributed Garbage Collection for the Parallel Inference Engine PIE64 (LX, HK, HT), pp. 922–941.

NACLP-1989-Helm #bottom-up #execution #on the

On the Dedection and Elimination of Redundant Derivations during Bottom-up Execution (ARH), pp. 945–962.

NACLP-1989-MaherR #fixpoint #logic programming #source code

Déjà Vu in Fixpoints of Logic Programs (MJM, RR), pp. 963–980.

NACLP-1989-KempRBM #constraints #database #deduction

Propagating Constraints in Recusive Deduction Databases (DBK, KR, IB, KM), pp. 981–998.

NACLP-1989-DemoenMC #prolog

Indexing Prolog Clauses (BD, AM, AC), pp. 1001–1012.

NACLP-1989-JamsekGCH #named #reduction

WINTER: WAMS in Tim Expression Reduction (DJ, KJG, SKC, PRH), pp. 1013–1029.

NACLP-1989-MarienD #on the

On the Management of Choicepoint and Environment Frames in the WAM (AM, BD), pp. 1030–1047.

NACLP-1989-JayaramanP #equation #programming #set

Programming with Equations, Subsets, and Relations (BJ, DAP), pp. 1051–1068.

NACLP-1989-KiferS #logic programming #on the #power of #source code

On the Expressive Power of Annotated Logic Programs (MK, VSS), pp. 1069–1089.

NACLP-1989-ChenKW #first-order #higher-order #logic programming #named #semantics

HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs (WC, MK, DSW), pp. 1090–1114.

NACLP-1989-PyoR #logic programming #polymorphism #source code

Inference of Polymorphic Types for Logic Programs (CP, USR), pp. 1115–1132.

NACLP-1989-SinghalP #how #parallel #question #unification

Unification Parallelism: How Much Can We Exploit? (AS, YNP), pp. 1135–1147.

NACLP-1989-Roy #prolog #unification

An Intermediate Language to Support Prolog’s Unification (PVR), pp. 1148–1164.

NACLP-1989-KonogayaHAY #evaluation #performance

Performance Evaluation of a Sequential Inference Machine CHI (AK, SH, AA, MY), pp. 1165–1179.

NACLP-1989-NadathurJ #prolog #towards

Towards a WAM Model for λ-Prolog (GN, BJ), pp. 1180–1198.

NACLP-1989-Elcock #logic programming #named

Absys: The Historical Inevitability of Logic Programming (EWE), pp. 1201–1214.

NACLP-1989-Minker #logic programming #towards

Toward A Foundation of Disjunctive Logic Programming (JM), pp. 1215–1235.