введение в логическое программирование на микро-прологе [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

Laboratory In Software Engineering (eecs 6170)
Authors: Daniel Jackson , Rob Miller    164    0


Algorithms For Programmers: Ideas And Source Code
Authors: Arndt J.    250    0



Concise Algorithmics: The Basic Toolbox
Authors: Mehlhorn K. , Sanders P.    126    0


Handbook Of Data Structures And Applications
Authors: Dinesh P. Mehta , Sartaj Sahni (editors)    126    0


Algorithm Theory — Swat 2002: 8th Scandinavian Workshop On Algorithm Theory Turku, Finland, July 3–5, 2002 Proceedings
Authors: Torben Hagerup , Rajeev Raman (auth.) , Martti Penttonen , Erik Meineche Schmidt (eds.)    143    0


Scientific Visualization: The Visual Extraction Of Knowledge From Data
Authors: Georges-Pierre Bonneau , Thomas Ertl , Gregory M. Nielson    152    0


Image Processing In C
Authors: Dwayne Phillips    163    0



Quantum Computing Explained
Authors: David McMahon    164    0