Résumé: This volume contains the proceedings of the Second International Conference on Algebraic and Logic Programming, held in Nancy, France, October 1-3, 1990. The aim of this conference is to strengthen the connections between algebraic approaches and logic programming. On 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 ap proaches have recently been developed and this conference is intended to be a place where people from both areas can exchange their ideas, results and experiences and make interesting progress. The volume contains 23 selected papers and invited papers from J. Goguen, J.-L. Lassez, and P. Lescanne.

Edition: Heidelberg,New York: Springer-Verlag Springer-Verlag
Langue: Anglais
Collation: 1 vol. (vii, 386 p.) ;24 cm
ISBN: 3540531629
Index décimal 621 .Physique appliquée (électrotechnique, génie civil, génie mécanique, ingénierie appliquée, principes physiques en ingénierie)
Thème Informatique

Mots clés:
Programmation logique :Actes de congrès

Note: "Proceedings of the Second International Conference on Algebraic and Logic Programming ... sponsored by CNRS, INRIA, and Nancy Universities", Foreword