libcats.org
Главная →

An introduction to logic programming through Prolog

Обложка книги An introduction to logic programming through Prolog

An introduction to logic programming through Prolog

,
Using theory as a foundation for practical programming, this text presents the theory of logic programming with clear proofs, extended examples, and implementation techniques. It covers logical theory, practical programming, and the structure of a simple Prolog implementation.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

Издание 'Сделай сам'. 1999 № 02 (DjVU)

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

О физической природе шаровой молнии

 Автор:
Категория: science, science, exact
Размер книги: 5.03 Mb

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

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

Технология солода и пива

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

Древо жизни

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

Как обставить квартиру

 Автор:
Категория: color, graph, house, home
Размер книги: 4.92 Mb
Только что пользователи скачали эти книги:

Knight, Angela - Testing Jayla

 Автор:
Размер книги: 948 Kb

The geometry of geodesics

 Автор:
Категория: M_Mathematics, MD_Geometry and topology, MDdg_Differential geometry
Размер книги: 2.95 Mb

Fertility and Obstetrics in the Horse (Library Vet Practice)

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

История России с 1801 по 1917 год

 Автор:
Категория: КНИГИ ИСТОРИЯ
Размер книги: 4.74 Mb

R.T. Kendall Collection (22 Books) (Epub, Mobi & PDF)

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