Logic programming languages : constraint
β Krzysztof R Apt; J W de Bakker; J J M M Rutten
π Library
π
1993
π MIT Press
π English
β¦ LIBER β¦
π
Logic programming languages : constraints, functions, and objects
β Scribed by Apt, Krzysztof R.; Rutten, J. J. M. M.; Bakker, Jacobus Willem
- Publisher
- MIT Press
- Year
- 1993
- Tongue
- English
- Leaves
- 226
- Series
- Logic programming
- Category
- Library
β¬ Acquire This Volume
No coin nor oath required. For personal study only.
β¦ Synopsis
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.
K. R. Apt and J. W. de Bakker are Professors and J.J. M. M. Rutten is Research Scientist, all at the Centrum voor Wiskinde en Informatica in Amsterdam
β¦ 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 [and others] --
The semantics of equational logic programming as an instance of CLP / MariΜa Alpuente [and others] --
A paradigm for asynchronous communication and its application to concurrent constraint programming / Frank S. de Boer [and others] --
A language for contextual logic programming / LuiΜs Monteiro, AntoΜnio Porto --
An introduction to L & O / Francis G. McCabe.
π SIMILAR VOLUMES
History of programming languages, vol.4:
β Salus, Peter H (ed.)
π Library
π
1998
π Macmillan Technical Pub
π English
The Handbook of Programming Languages (H
β 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
β 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
β 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
β 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