Algebraic and Logic Programming: Second International Conference, Nancy, France, October 1-3, 1990. Proceedings / Edition 1

Algebraic and Logic Programming: Second International Conference, Nancy, France, October 1-3, 1990. Proceedings / Edition 1

by Helene Kirchner
     
 

This volume contains the proceedings of the Third International Conference on Algebraic and Logic Programming,

held in Pisa, Italy, September 2-4, 1992. Like the two previous conferences in Germany in 1988 and France in 1990,

the third conference aims at strengthening the connections betweenalgebraic techniques and logic programming. On the one hand, logic

See more details below

Overview

This volume contains the proceedings of the Third International Conference on Algebraic and Logic Programming,

held in Pisa, Italy, September 2-4, 1992. Like the two previous conferences in Germany in 1988 and France in 1990,

the third conference aims at strengthening the connections betweenalgebraic techniques and logic programming. On the one hand, logic programming has been very successful during the last decades and more and more systems compete in enhancing its expressive power. On the other hand, concepts like functions, equality theory, and modularity are particularly well handled in an algebraic framework. Common foundations of both approaches have recently been developed,

and this conference is a forum for people from both areas to exchange ideas, results, and experiences. The book covers the following topics: semantics ofalgebraic and logic programming; integration of functional and logic programming; term rewriting, narrowing, and resolution;

constraintlogic programming and theorem proving; concurrent features in algebraic and logic programming languages; and implementation issues.

Read More

Product Details

ISBN-13:
9783540531623
Publisher:
Springer Berlin Heidelberg
Publication date:
10/18/1990
Series:
Lecture Notes in Computer Science Series, #463
Edition description:
1990
Pages:
389
Product dimensions:
9.21(w) x 6.14(h) x 0.82(d)

Table of Contents

Proving and rewriting.- Proving correctness w.r.t. specifications with hidden parts.- Hybrid implementations of algebraic specifications.- Multi-modal logic programming using equational and order-sorted logic.- Logic programs with equational type specifications.- Higher-order order-sorted algebras.- Axiomatization of a functional logic language.- Fourier algorithm revisited.- Fixpoint techniques for non-monotone maps.- Domain theory for nonmonotonic functions.- On the strong completion of logic programs.- An equivalence preserving first order unfold/fold transformation system.- Propositional calculus problems in CHIP.- Unfolding and fixpoint semantics of concurrent constraint logic programs.- Eliminating negation from normal logic programs.- On logic programming interpretations of Dislog: Programming long-distance dependencies in logic.- Recursive query processing in predicate-goal graph.- Implementation of completion by transition rules + control: ORME.- A matching process modulo a theory of categorical products.- Equation solving in conditional AC-theories.- Lazy narrowing in a graph machine.- An abstract concurrent machine for rewriting.- Applying term rewriting methods to finite groups.- Termination proofs by multiset path orderings imply primitive recursive derivation lengths.- Optimization of rewriting and complexity of rewriting.- AC-Termination of rewrite systems: A modified Knuth-Bendix ordering.

Read More

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >