Constraints provide a declarative way of representing infinite sets of data. They are well suited for combining different logical or programming paradigms as has been known for constraint logic programming since the 1...
详细信息
ISBN:
(数字)9783540454069
ISBN:
(纸本)9783540419501
Constraints provide a declarative way of representing infinite sets of data. They are well suited for combining different logical or programming paradigms as has been known for constraint logic programming since the 1980s and more recently for functional programming. The use of constraints in automated deduction is more recent and has proved to be very successful, moving the control from the meta-level to the constraints, which are now first-class objects.;This monograph-like book presents six thoroughly reviewed and revised lectures given by leading researchers at the summer school organized by the ESPRIT CCL Working Group in Gif-sur-Yvette, France, in September 1999. The book offers coherently written chapters on constraints and constraint solving, constraint solving on terms, combining constraint solving, constraints and theorem proving, functional and constraint logic programming, and building industrial applications.
The IBM project LILOG presented in this volume represents afundamental stepbeyond computer science as hithertounderstood. It was a successful project in every respect andhas shed light on conjectured basic interrelati...
详细信息
ISBN:
(数字)9783540384939
ISBN:
(纸本)9783540545941
The IBM project LILOG presented in this volume represents a
fundamental stepbeyond computer science as hitherto
understood. It was a successful project in every respect and
has shed light on conjectured basic interrelations between
knowledge processing and language definition. Knowledge
processing is strongly coupled to the natural language used,
and for applied knowledge processing an information base is
neededwhich defines the semantic contents and
interrelations of the language.
The LILOG project was an implementation of an information
basein the German language. A set of tools was also
developed to work with the system, including structured
man-machine interfaces using natural language, inference
algorithms, and a complete subsystem to acquire and store
the required knowledge.
The LILOG project started in 1985 and a functional system
was demonstrated in 1991. The project involved approximately
200 of the scientists working in Germany in the fields of
computational linguistics, natural language understanding
systems, and artificial intelligence. The project proves
that a cooperative project between universities and industry
can produce useful results both in pure research and in
implemented methods and tools.
This book constitutes the thoroughly refereed post-conference proceedings of the 20th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2007, held in Urbana, IL, USA, in October 2007. The ...
详细信息
ISBN:
(数字)9783540852612
ISBN:
(纸本)9783540852605
This book constitutes the thoroughly refereed post-conference proceedings of the 20th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2007, held in Urbana, IL, USA, in October 2007. The 23 revised full papers presented were carefully reviewed and selected from 49 submissions. The papers are organized in topical sections on reliability, languages, parallel compiler technology, libraries, run-time systems and performance analysis, and general compiler techniques.
暂无评论