ملخص: 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.

طبعة: Heidelberg,New York: Springer-Verlag Springer-Verlag
لغة: إنجليزية
الوصف المادي: 1 vol. (vii, 386 p.) ;24 cm
ISBN: 3540531629
الفهرس العشري 621 .الفيزياء التطبيقية (الهندسة الكهربائية ، الهندسة المدنية ، الهندسة الميكانيكية ، الهندسة التطبيقية ، المبادئ الفيزيائية في الهندسة)
الموضوع الإعلام الآلي

الكلمات الدالة:
Programmation logique :Actes de congrès

ملاحظة: "Proceedings of the Second International Conference on Algebraic and Logic Programming ... sponsored by CNRS, INRIA, and Nancy Universities", Foreword