введение в логическое программирование на микро-прологе [DJVU]

E-Book Overview

Книга известных английских специалистов является доступным введением в новую отрасль программирования - логическое программирование с использованием языка Пролог, реализованного на микро-ЭВМ. Рассмотрены основные возможности и приёмы логического программирования, средства Пролога и методы их применения. Описан стандартный синтаксис языка микро-Пролог. Показано применение логического программирования и Пролога к таким задачам, как анализ критического пути в графе, создание экспертных систем, программирование игр и разработка систем для решения задач. Для широкого круга программистов.

E-Book Information

  • Year: 1,987

  • Pages: 313

  • Pages In File: 313

  • Language: Russian

  • Topic: 69

  • Org File Size: 13,708,569

  • Extension: djvu

  • Tags: Информатика и вычислительная техника Устаревшие материалы

  • Toc: Предисловие к русскому изданию Предисловие Введение Основные понятия Факты и запросы Правила Списки Логическое программирование на микро-Прологе Сложные условия в запросах и правилах Работа со списками Введение в грамматический анализ Некоторые практические соображения Металогическое программирование Штатный микро-Пролог Стандартный синтаксис микро-Пролога Приложения микро-Пролога Программа анализа критического пути Микро-Пролог в экспертных системах Логика игр двух партнёров Микро-Пролог для решения задач Ответы к упражнениям

You might also like

Computer Science Handbook
Authors: Allen B. Tucker    220    0


Parallel And Distributed Logic Programming
Authors: Bhattacharya A. , Konar A. , Mandal A.    187    0


Algorithms And Complexity
Authors: Herbert S. Wilf    131    0


Shape Analysis And Structuring
Authors: Leila de Floriani , Michela Spagnuolo    137    0


Pattern Classification
Authors: Richard O. Duda , Peter E. Hart , David G. Stork    156    0


Digital Image Processing
Authors: Bernd Jähne    141    0


Programming In Haskell
Authors: Graham Hutton    159    0


Synthesis And Optimization Of Dsp Algorithms
Authors: Constantinides , Cheung , Luk.    160    0


Linear Programming: Theory And Extensions
Authors: George B. Dantzig , Mukund N. Thapa    186    0


More Math Into Latex
Authors: George Grätzer    124    0