Logic programming languages : constraints, functions, and objects / edited by K.R. Apt, J.W. de Bakker, and J.J.M.M. Rutten.
Contributor(s): Rutten, J. J. M. M | Bakker, J. W. de (Jacobus Willem) | Apt, Krzysztof R | MIT Press [publisher.] | IEEE Xplore (Online Service) [distributor.].
Material type: BookSeries: Logic programming: Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1993]Publisher: Cambridge, Massachusetts : MIT Press, c1993Description: 1 PDF (xiv, 204 pages).Content type: text Media type: electronic Carrier type: online resourceISBN: 9780262255646; 0262011344.Subject(s): Logic programming languagesGenre/Form: Electronic books.DDC classification: 005.13/1 Online resources: Abstract with links to resource Also available in print.Summary: 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. Chapters are grouped according to the unifying themes of functional programming, constraint, logic programming, and object-oriented programming.Includes bibliographical references (p. [185]-201).
Restricted to subscribers or individual electronic text purchasers.
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. Chapters are grouped according to the unifying themes of functional programming, constraint, logic programming, and object-oriented programming.
Also available in print.
Mode of access: World Wide Web
Description based on PDF viewed 12/23/2015.
There are no comments for this item.