|
|
libcats.org
Logic Programming in Action, 2 school, LPSS '92Gerard Comyn, Norbert E. Fuchs, Michael J. RatcliffeLogic programming enjoys a privileged position. It is firmly rooted in mathematical logic, yet it is also immensely practical, as a growing number of users in universities, research institutes, and industry are realizing. Logic programming languages, specifically Prolog, have turned out to be ideal as prototyping and application development languages. This volume presents the proceedings of the Second Logic Programming Summer School, LPSS'92. The First Logic Programming Summer School, LPSS '90, addressed the theoretical foundations of logic programming. This volume focuses onthe relationship between theory and practice, and on practical applications. The introduction to the volume is by R. Kowalski, one of the pioneers in the field. The following papers are organized into sections on constraint logic programming, deductive databases and expert systems, processing of natural and formal languages, software engineering, and education.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Ситуация на БалканахАвтор: Юзефович Леонид АбрамовичКатегория: Исторический детектив
Размер книги: 498 Kb
A course in mathematics for students of physicsАвтор: Paul Bamberg, Автор: Shlomo Sternberg
Размер книги: 3.11 Mb
Exploring Space (Discovery and Exploration)Автор: Rodney P. Carlisle, Автор: John S. Bowman, Автор: Maurice Isserman
Размер книги: 22.24 Mb
Methods in Equivariant Bifurcations and Dynamical SystemsАвтор: Pascal Chossat, Автор: Reiner LauterbachКатегория: P_Physics, PD_Dynamical systems
Размер книги: 4.93 Mb
Минимально инвазивная хирургия патологии желчных протоковАвтор: Ничитайло М.Е., Автор: Грубник В.В.
Размер книги: 14.18 Mb
Nicky Barr, an Australian Air Ace: A Story of Courage and AdventureАвтор: Peter Dornan
Размер книги: 1.36 Mb
|
|
|