Книга известных английских специалистов является доступным введением в новую отрасль программирования - логическое программирование с использованием языка Пролог, реализованного на микро-ЭВМ. Рассмотрены основные возможности и приемы логического программирования, средства Пролога и методы их применения. Описан стандартный синтаксис языка микро-Пролог. Показано применение логического программирования и Пролога к таким задачам, как анализ критического пути в графе, создание экспертных систем, программирование игр и разработка систем для решения задач. Для широкого круга программистов.
Содержание
Предисловие к русскому изданию Предисловие Введение Основные понятия Факты и запросы Правила Списки Логическое программирование на микро-Прологе Сложные условия в запросах и правилах Работа со списками Введение в грамматический анализ Некоторые практические соображения Металогическое программирование Штатный микро-Пролог Стандартный синтаксис микро-Пролога Приложения микро-Пролога Программа анализа критического пути Микро-Пролог в экспертных системах Логика игр двух партнёров Микро-Пролог для решения задач Ответы к упражнениям
В курсе изучается логическое программирование и язык Пролог. В качестве реализации языка Пролог используется современная версия языка Visual Prolog. Предназначен для начинающих.
Рассмотрены теоретические основы логического программирования. Даны примеры и описание предметной области с помощью логических моделей. Показана связь базовых понятий логики предикатов и основных конструкций языка логического программирования Пролог. Изложены основы логического программирования на примере языка Visual Prolog 7.
Курс посвящен изучению основ языка логического программирования Пролог. Всюду, где возможно, общие принципы программирования на Прологе изучаются без привязки к конкретной реализации. При выполнении практических заданий, планируется использовать Турбо Пролог или PDC Пролог. На взгляд автора, это наиболее используемые и распространенные версии Проло ...
В монографии анализируется влияние ионизирующих излучений (ИИ), преимущественно космического пространства, на характеристики изделий микро- и наноэлектроники.
Программирование. Базовый курс C# — На основе последних версий языка программирования C# и платформы .NET Framework изложены основные концепции и механизмы современного программирования.
Данный материал НЕ НАРУШАЕТ авторские права никаких физических или юридических лиц. Если это не так - свяжитесь с администрацией сайта. Материал будет немедленно удален. Электронная версия этой публикации предоставляется только в ознакомительных целях. Для дальнейшего её использования Вам необходимо будет приобрести бумажный (электронный, аудио) вариант у правообладателей.
Название: 
Распечатать
