Logic Programming: Proceedings of the Tenth International Conference on Logic Programming

Front Cover
David S. Warren
MIT Press, 1993 - Computers - 854 pages
0 Reviews

The Tenth International Conference on Logic Programming, sponsored by the Association for Logic Programming, is a major forum for presentations of research, applications, and implementations in this important area of computer science. Logic programming is one of the most promising steps toward declarative programming and forms the theoretical basis of the programming language Prolog and it svarious extensions. Logic programming is also fundamental to work in artificial intelligence, where it has been used for nonmonotonic and commonsense reasoning, expert systems implementation, deductive databases, and applications such as computer-aided manufacturing.David S. Warren is Professor of Computer Science at the State University of New York, Stony Brook.Topics covered: Theory and Foundations. Programming Methodologies and Tools. Meta and Higher-order Programming. Parallelism. Concurrency. Deductive Databases. Implementations and Architectures. Applications. Artificial Intelligence. Constraints. Partial Deduction. Bottom-Up Evaluation. Compilation Techniques.

  

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Hybrid Systems and Constraint Logic Programming
18
Pascal Brisset Olivier Ridoux
44
Databases
60
Thorne McCarty
64
Analysis of Nonlinear Constraints in CLPS?
83
Freeness Analysis in the Presence of Numerical Constraints
100
Freeness Analysis for Logic Programsand Correctness?
116
Scheduling Speculative Work in OrParallel Prolog Systems
135
An Incompleteness Result for Deductive Synthesis of Logic Programs
456
Control Generation for Logic Programs
478
Variable Elimination for Generalized Linear Constraints
499
Boolean Pseudoequations in Constraint Logic Programming
517
Solving Linear Diophantine Constraints Incrementally
532
A CLP Language Handling Disjunctions of Linear Constraints
550
A Monotonicity Theorem for Extended Logic Programs
567
A Semantics for Eshghi and Kowalskis Abductive Procedure
586

Performance of the CompilerBased AndorraI System
150
Implementing Dynamic Dependent AndParallelism
167
Some Paradigms for Visualizing Parallel Execution of Logic Programs
184
A Case for the Situation
203
Representing Actions in Logic Programming and Its Applications
222
Temporal Logic Programming with Bounded Universal Modality Goals
239
Transaction Logic Programming
257
The Language and Its Implementation
283
Definition Operational Semantics and Implementation
299
Data OrParallel Logic Programming
314
Transforming Abductive Logic Programs to Disjunctive Programs
335
A Formalization of Metaprogramming for Real
354
A New Fixpoint Semantics for Prolog
374
On Copy Avoidance in Single Assignment Languages
393
Findall without Findall3
408
Extracting Determinacy in Logic Programs
424
MiddleOut Reasoning for Logic Program Synthesis
441
Optative Reasoning with Scenario Semantics
601
An Argumentation Semantics for Logic Programming with Explicit
616
Memory Management of Constraints in Flang
633
Automatic Frequency Assignment for Cellular Telephones Using
647
Analysis Based Constraint Query Optimization
666
Constraint Propagation for Linear Recursive Rules
683
Negation in Disjunctive Logic Programs
703
Proving Termination of GHC Programs
720
A Logic Programming View of CLP
737
Performance Evaluation of Monaco Compiler and Runtime Kernel
757
A Minimal Extension of the WAM for c Ip FD
774
The Underlying Search for Magic Templates and Tabulation
793
Semantics and Consistency of Empirical Databases
812
The SQL Interface of MProlog
829
Optimum Flight Planning System for Aerodrome Zone
842
Contribution of Logic Programming to Support Telecommunications
845
Copyright

Common terms and phrases

About the author (1993)

David S. Warren is Professor of Computer Science at the State University of New York, StonyBrook.

Bibliographic information