Logic programming languages : constraints, functions, and objects

• Tác giả: Krzysztof R Apt, J. W. de Bakker, J. J. M. M Rutten
• Ngôn ngữ: eng
• ISBN-10: 0262011344
• ISBN-13: 978-0262255646
• Ký hiệu phân loại: 005.131 Symbolic logic (Mathematical logic)
• Thông tin xuất bản: Cambridge, Massachusetts : MIT Press, 1993.
• Mô tả vật lý: 1 PDF (xiv, 204 pages).
• Bộ sưu tập: Tài liệu truy cập mở
• ID: 313270
• Chủ đề: 1. Logic programming languages

Includes bibliographical references (p. [185]-201).

Tóm tắt

This collection of current research on logic programming languages presents results from a three-year, ESPRIT-funded effort to explore the integration of the foundational issues of functional, logic, and object-oriented programming. It offers valuable insights into the fast-developing extensions of logic programming with functions, constraints, concurrency, and objects.
- Chapter s are grouped according to the unifying themes of functional programming, constraint, logic programming, and object-oriented programming.