Logic programming languages : constraints, functions, and objects

✍ Scribed by Krzysztof R Apt; J W de Bakker; J J M M Rutten

Publisher: MIT Press
Year: 1993
Tongue: English
Leaves: 217
Series: Logic programming
Category: Library

No coin nor oath required. For personal study only.

✦ Table of Contents

Content: Implementation of narrowing: the prolog-based approach / Pui Hung Cheong, Laurent Fribourg --
Logic programs with external procedures / Jan Małuszyński ... [et al.] --
The semantics of equational logic programming as an instance of CLP / María Alpuente ... [et al.] --
A paradigm for asynchronous communication and its application to concurrent constraint programming / Frank S. de Boer ... [et al.] --
A language for contextual logic programming / Luís Monteiro, António Porto --
An introduction to L&O / Francis G. McCabe.

📜 SIMILAR VOLUMES

Logic programming languages : constraint

📁 Logic programming languages : constraints, functions, and objects

✍ Apt, Krzysztof R.; Rutten, J. J. M. M.; Bakker, Jacobus Willem 📂 Library 📅 1993 🏛 MIT Press 🌐 English

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

History of programming languages, vol.4:

📁 History of programming languages, vol.4: Functional and logic programming languages

✍ Salus, Peter H (ed.) 📂 Library 📅 1998 🏛 Macmillan Technical Pub 🌐 English

The Handbook of Programming Languages (H

📁 The Handbook of Programming Languages (HPL): Functional, Concurrent and Logic Programming Languages

✍ Peter Salus, Peter H. Salus 📂 Library 📅 1998 🏛 Macmillan Technical Pub 🌐 English

Volume IV begins with the Logic Programming group, all descended from John McCarthy's LISP of the late 1960s. The Volume begins with a few pages from the LISP 1.5 Programmer's Manual, a vital token of things to come and moves on to LISP's offspring: LISP, Scheme, Guile, and CLOS. Finally, Jamie And

Parallel and Constraint Logic Programmin

📁 Parallel and Constraint Logic Programming: An Introduction to Logic, Parallelism and Constraints

✍ Ioannis Vlahavas, Panagiotis Tsarchopoulos, Ilias Sakellariou (auth.) 📂 Library 📅 1998 🏛 Springer US 🌐 English

<p>Constraint Logic Programming (CLP), an area of extreme research interest in recent years, extends the semantics of Prolog in such a way that the combinatorial explosion, a characteristic of most problems in the field of Artificial Intelligence, can be tackled efficiently. By employing solvers ded

Functional Programming for the Object-Or

📁 Functional Programming for the Object-Oriented Programmer

✍ Brian Marick 📂 Library 📅 2012 🌐 English

Many, many of the legendary programmers know many programming languages. What they know from one language helps them write better code in another one. But it’s not really the language that matters: adding knowledge of C# to your knowledge of Java doesn’t make you much better. The languages are too s

Recent Advances in Constraints: 12th Ann

📁 Recent Advances in Constraints: 12th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2007 Rocquencourt,

✍ François Fages, Francesca Rossi, Sylvain Soliman 📂 Library 📅 2008 🏛 Springer 🌐 English

<P>This book constitutes the thoroughly refereed and extended post-workshop proceedings of the 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007, held in Rocquencourt, France, in June 2007.</P> <P>The 10 revised full papers presented were ca