Логическое программирование
Информатика и вычислительная техника
  • формат pdf
  • размер 7.86 МБ
  • добавлен 27 июня 2011 г.
Lloyd J.W. Foundations of Logic Programming
Springer, 1987. - 212 pages.

This is the second edition of the first book to give an account of the mathematical foundations of Logic Programming. Its purpose is to collect, in a unified and comprehensive manner, the basic theoretical results of Logic Programming, which have previously only been available in widely scattered research papers. In addition to presenting the technical results, the book also contains many illustrative examples. Many of the examples and problems are part of the folklore of Logic Programming and are not easily obtainable elsewhere. The second edition contains about 70 % more material than the first edition. There are two new chapters, one on a more general class of programs in which the body of a program statement can be an arbitrary first order formula, and one on Deductive Database Systems. Further material on negation has been added to the third chapter. In addition, the problem sections of each chapter have been expanded so that there are now over 100 problems. The book is intended to be self-contained, the only prerequisites being some familarity with PROLOG and knowledge of some basic undergraduate mathematics. The book is aimed at researchers and graduate students in Logic Programming, Artificial Intelligence and Database Systems. The material is suitable either as a reference book for researchers or as a text book for a graduate course on the theoretical aspects of Logic Programming and Deductive Database Systems.
Читать онлайн
Смотрите также

Bramer M. Logic Programming with Prolog

  • формат pdf
  • размер 828.06 КБ
  • добавлен 03 января 2011 г.
Springer, 2005. - 223 pages. This book teaches the techniques of Logic Programming through the Prolog language. The name stands for Programming in Logic. Prolog has been used for a wide variety of applications, including as the basis for a standard ‘knowledge representation language’ for the Semantic Web – the next generation of internet technology; it is one of the principal languages used by researchers in Artificial Intelligence. Logic Progra...

Bratko Ivan. Prolog Programming for Artificial Intelligence

  • формат pdf
  • размер 29.76 МБ
  • добавлен 05 января 2012 г.
The third edition of this best-selling guide to Prolog and Artificial Intelligence has been updated to include key developments in the field while retaining its lucid approach to these topics. Divided into two parts, the first part of the book introduces the programming language Prolog, while the second part teaches Artificial Intelligence using Prolog as a tool for the implementation of AI techniques. Prolog has its roots in logic, however the m...

Costa E. Visual Prolog 7.2 for Tyros

  • формат pdf
  • размер 1.67 МБ
  • добавлен 03 марта 2009 г.
This book started as a personal project. My intention was simply to write a tutorial on Logic Programming for my son. The success of the book,however, was immense, and I received many uggestions on how to improve the text, or the code, and encouragement to continue with the work. Подробное описание работы в Visual Prolog 7.2 - от знакомства с интерфейсом до решения серьезных задач с пояснениями и приведенными листингами - (25 глав 256 стр. на анг...

Thomas W. de Boer. A Beginners Guide to Visual Prolog 7.1

  • формат pdf
  • размер 2.99 МБ
  • добавлен 09 сентября 2009 г.
Groningen. 2008 This is a book on how to write computer programs in Visual Prolog. Visual Prolog, or VIP for short, is an Object-Oriented Programming Language (OOPL for short) that can be used to create programs that run under Microsoft Windows. This means that the programs that you write should support a GUI, a Graphical User Interface.

Zelio LOGIC руководство пользователя

  • формат pdf
  • размер 5.92 МБ
  • добавлен 10 марта 2010 г.
Zelio LOGIC руководство пользователя для тех кто решил освоить данное реле. Все понятно изложено. НА РУССКОМ языке. Содержание: 1 - Изучая Интеллектуальное реле. 2 - Описание Меню. 3 - Меню Конфигурации. 4 - Функции Управления. 5 - Ввод диаграммы Лестничной Логики. 6 - Выполнение простейшего приложения. 7 - Отладка. 8 - Пример Приложения. 9 - Устранение неисправностей. 10 - Загрузка Приложения, сохраненное в Резервной Памяти на Модуль. Приложение...