libcats.org
Главная

Extensions of Logic Programming: International Workshop, Tübingen, FRG, December 8-10, 1989. Proceedings

Обложка книги Extensions of Logic Programming: International Workshop, Tübingen, FRG, December 8-10, 1989. Proceedings

Extensions of Logic Programming: International Workshop, Tübingen, FRG, December 8-10, 1989. Proceedings

This volume contains finalized versions of papers presented at an international workshop on extensions of logic programming, held at the Seminar for Natural Language Systems at the University of Tübingen in December 1989. Several recent extensions of definite Horn clause programming, especially those with a proof-theoretic background, have much in common. One common thread is a new emphasis on hypothetical reasoning, which is typically inspired by Gentzen-style sequent or natural deduction systems. This is not only of theoretical significance, but also bears upon computational issues. It was one purpose of the workshop to bring some of these recent developments together. The volume covers topics such as the languages Lambda-Prolog, N-Prolog, and GCLA, the relationship between logic programming and functional programming, and the relationship between extensions of logic programming and automated theorem proving. It contains the results of the first conference concentrating on proof-theoretic approaches to logic programming.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Древо жизни

Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Здоровье надо созидать

Автор:
Категория: Здоровье
Размер книги: 363 Kb
Только что пользователи скачали эти книги:

Б. Робертсон. Лекции об аудите качества

Автор:
Категория: money
Размер книги: 5.18 Mb

Vitamins in Animal and Human Nutrition

Автор:
Категория: Биология, Зоология
Размер книги: 4.96 Mb

Sams Teach Yourself Routing in 24 Hours

Автор:
Размер книги: 12.03 Mb

Premodern Trade in World History (Themes in World History)

Автор:
Категория: История
Размер книги: 1.99 Mb