Facts, Rules, and Queries. Prolog Syntax. Matching and Proof Search. Recursion. Lists. Arithmetic. More Lists. Definite Clause Grammars. More Definite Clause Grammars. A Closer Look at Terms. Cuts and Negation. Database Manipulation and Collecting Solutions. Working With Files. 2001 г. - 12 глав 184 стр. о ПРОЛОГЕ с примерами листинга программ и подробными комментариями (для...
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...
Springer, 2014. — 253 p. 44 illus. — 2nd ed. — ISBN: 9781447154877 Logic Programming is the name given to a distinctive style of programming, very different from that of conventional programming languages such as C++ and Java. By far the most widely used Logic Programming language is Prolog. Prolog is a good choice for developing complex applications, especially in the field of...
Pearson, 2012. — 696 p. — 4th ed. — ISBN: 0321417461, 9780321417466
Скан, текстовый слой.
The fourth 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. New and extended topics include Constraint Logic Programming, abductive reasoning and partial...
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...
Springer, 2003. — 5-th ed. — 314 p. — ISBN: 978-3-642-55481-0 Originally published in 1981, this was the first textbook on programming in the Prolog language and is still the definitive introductory text on Prolog. Though many Prolog textbooks have been published since, this one has withstood the test of time because of its comprehensiveness, tutorial approach, and emphasis on...
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 - от знакомства с интерфейсом до решения серьезных задач...
New York: Prentice Hall, 1997. — 529 p. This book covers the Prolog programming language thoroughly with an emphasis on building practical application software, not just theory. Working through this book, readers build several types of expert systems, as well as natural language processing software and utilities to read foreign file formats. This is the first book to cover ISO...
Groningen. 2008. — 274 p.
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.
Amsterdam: Universiteit van Amsterdam, 2018. — 80 p. These lecture notes introduce the declarative programming language Prolog. The emphasis is on learning how to program, rather than on the theory of logic programming. Nevertheless, a short chapter on the logic foundations of Prolog is included as well. For this latest version of the lecture notes, I have added 15 new...
With a contribution by Janusz S. Bień. — London: Academic Press Inc., 1985. — 309 p. — (A.P.I.C. studies in Data Processing vol. 24). — ISBN: 0-12-416520-6 (hardback), ISBN: 0-12-416521-4 (paperback). Prolog is a non-conventional programming language for a wide spectrum of applications, including language processing, data base modelling and implementation, symbolic computing,...
New York: Springer, 1989. — 299 p. Prolog Versus You shows how you can take up the gauntlet of the logic programming language Prolog (PROgramming in LOGic) and use it as an obedient programming and problem solving tool. Logic programming emphasizes that programming is a human activity and consequently that programs should be easy for humans to write, understand and manipulate....
УГАТУ, Уфа/Россия, Кафедра технической кибернетики, Хасанов А.Ю., 15 стр., 3 курс. Дисциплина "Логическое программирование" 5 отчетов Основы программирования на Турбо-Прологе. Вариант №21, Представление и обработка списков. Вариант №18, Использование структур. Вариант 10, Организация многооконных меню и работа с файлами в Турбо-Прологе. Вариант 22, Работа с динамическими базами...
Second Edition. — The MIT Press, 1994. — 552 p. This new edition of The Art of Prolog contains a number of important changes. Most background sections at the end of each chapter have been updated to take account of important recent research results, the references have been greatly expanded, and more advanced exercises have been added which have been used successfully in teaching...
Методическое пособие. — Автор неизвестен. — Выходные данные не указаны. — 43 с. Знакомство с интерпретатором SWI/PROLOG, включая использование меню, создание программных файлов, запуск и трассировку программ на SWI/PROLOG. Знакомство с SWI/PROLOG. Запуск простой программы Структуры данных. Сложные утверждения в Прологе Рекурсия в Прологе Управление логическим выводом Списки...
The Pragmatic Programmers, 2022. — 74 p. Constraint-based logic programming is the engine powering some of the most powerful algorithms in the world. Whether you're building an airline schedule or planning routes for a trucking company, Prolog has the tools you need. You don't have to struggle through thousands of pages of sample programs. This guide to Prolog will quickly ramp...
The Pragmatic Programmers, 2022. — 74 p. Constraint-based logic programming is the engine powering some of the most powerful algorithms in the world. Whether you're building an airline schedule or planning routes for a trucking company, Prolog has the tools you need. You don't have to struggle through thousands of pages of sample programs. This guide to Prolog will quickly ramp...
The Pragmatic Programmers, 2022. — 74 p. Constraint-based logic programming is the engine powering some of the most powerful algorithms in the world. Whether you're building an airline schedule or planning routes for a trucking company, Prolog has the tools you need. You don't have to struggle through thousands of pages of sample programs. This guide to Prolog will quickly ramp...
What is tuProlog. Installing tuProlog. Getting Started. tuProlog Basics. tuProlog Libraries. Accessing Java from tuProlog. The IDE. Using tuProlog from Java. How to Develop New Libraries. TUProlog 2.1.1-руководство пользователя, 2007 год.
Wiley, 1993. — 624 p. Approaches the subject by applying the format used in successful language courses. Offers a comprehensive exhibition of Prolog programming techniques in four stages--declarative, procedural, advanced and meta-programming. Presents simple and efficient implementation of logical negation and quantified goals which are necessary in expert systems. The dynamics...
Springer, 2023. — 399 p. This volume was motivated by the Year of Prolog initiative, launched to celebrate the 50th anniversary of the emergence of Prolog through the work of Alain Colmerauer’s team in Marseille. The volume editors, authors, and scientific advisors and reviewers have been the leading researchers and programmers in this field over decades, and the book...
Учебное пособие. — Новосибирск: Новосибирский государственный технический университет, 2020. — 64 с. — ISBN 978-5-7782-4182-4. Настоящее учебное пособие представляет собой вводную часть курса по искусственному интеллекту, основной целью которого является изучение модели представления знаний на основе классических логических исчислений - исчисления высказываний и исчисления...
Учебное пособие, 992стр, илюстрированная, издательство "БХВ-Петербург", 2003г.
Математические основы логического программирования
Логическое программирование и искусственный интелект
Основы пролога
Программирование на Visual Prolog
Разработка графического интерфейса пользователя
Возможности визуальной среды разработки
СПб.: БХВ-Петербург,
2003. 990 с.: ил. ISBN 5-94157-156-9.
Книга посвящена наиболее распространенному в мире языку логического про-граммирования Visual Prolog, предшественником и ближайшим «родственником» которого является широко известный Turbo Prolog. Рассматриваются математические основы логического программирования, история, идеи и методы этого направления науки, его...
Глазов: ГГПИ, 2006. — 68 с. В работе рассматриваются основные подходы к решению логических задач на языке ПРОЛОГ. Сборник задач выполнен в качестве пособия для лабораторного практикума, содержит набор вариантов заданий и методические рекомендации для их выполнения.
Учебное пособие по дисциплине Методы искусственного интеллекта для студентов специальностей 2202 и 0719 очной формы обучения. / Благовещенск, Амурский гос. ун – т. – 2001. – с.
Познакомиться на практике с методами анализа естественно-языковых текстов в системах логического программирования (Пролог, Mecury), реализовать в соответствии с вариантом задания несложный фрагмент естественного-языкового интерфейса к модельной задаче и протестировать его на ряде примеров. Реализовать разбор фраз языка (вопросов), выделяя в них неизвестный объекты Запрос:? -...
Учебное пособие. — Томск: ТГУ, 2013. — 104 с. В данном пособии излагаются основы языка логического программирования Visual Prolog, приводятся базовые понятия языка, правила функционирования Prolog программы, а также способы представления основных структур данных, таких как, списки, бинарные деревья; рассматриваются средства объектно-ориентированного программирования. Для...
Учебное пособие. — Пермь : Прокростъ, 2017. — 122 с. — ISBN: 978-5-94279-360-9. В пособии в доступной форме изложены основы логического программирования, объяснены базовые механизмы языка и проанализированы некоторые приемы программирования на практических примерах. Пособие ориентировано на самостоятельное освоение материала с исследованием программ в среде программирования PDC...
Методическое пособие.
В данном методическом пособии дается описание заданий практикума на языке программирования Пролог для студентов 4 курса факультета ВМиК МГУ. Зада-ния разработаны в поддержку основных курсов «Математическая логика» и «Искусственный интеллект». Приводятся подробные методические пояснения и рекомендации. Методическое пособие, содержащее описание заданий...
Учебное пособие. — М.: МГУ имени М.В.Ломоносова; МАКС Пресс, 2013. — 112 с. В учебном пособии излагаются основы программирования на языке Пролог, используемом для решения задач искусственного интеллекта и обработки сложных символьных структур. Разбираются методы и средства логического программирования, приводятся примеры пролог-программ. В пособие включен набор задач на...
3-е издание. — Пер. с англ. — М.: Вильямс, 2001. — 640 с.: ил. В книге известного специалиста по программированию приведены основные сведения о языке Prolog, описан процесс разработки программ на этом языке и показано применение языка Prolog во многих областях искусственного интеллекта, включая решение задач и эвристический поиск, программирование в ограничениях, представление...
Пер. с англ. — М.: Мир, 1990. — 560 с.: ил. — ISBN: 5-03-001425-Х. Книга известного специалиста по программированию (Югославия), содержащая основы языка Пролог и его приложения для решения задач искусственного интеллекта. Изложение отличается методическими достоинствами - книга написана в хорошем стиле, живым языком. Книга дополняет имеющуюся на русском языке литературу по...
Пер. с англ. — М.: Мир, 1990. — 560 с.: ил. — ISBN: 5-03-001425-Х. Книга известного специалиста по программированию (Югославия), содержащая основы языка Пролог и его приложения для решения задач искусственного интеллекта. Изложение отличается методическими достоинствами - книга написана в хорошем стиле, живым языком. Книга дополняет имеющуюся на русском языке литературу по...
Пер. с англ. -М.: Мир, 1990. - 560 с., ил. Электронную версию книги создал Иванов Виктор Михайлович. Книга известного специалиста по программированию (Югославия), содержащая основы языка Пролог и его приложения для решения задач искусственного интеллекта. Изложение отличается методическими достоинствами - книга написана в хорошем стиле, живым языком. Книга дополняет имеющуюся...
Книга известного специалиста по программированию (Югославия), содержащая основы языка Пролог и его приложения для решения задач искусственного интеллекта. Изложение отличается методическими достоинствами - книга написана в хорошем стиле, живым языком. Книга дополняет имеющуюся на русском языке литературу по языку Пролог. Для программистов разной квалификации, специалистов по...
Спб.: ГУАП. 2003г. Методические указания. Приводится описание основных конструкций языка логического программирования ПРОЛОГ. Методические указания предназначены для студентов, изучающих дисциплину Системы с искусственным интеллектом. 1. Теоретические принципы ПРОЛОГа 2. Структура программы на ПРОЛОГе 3. Описание арифметических операций 4. Запросы к ПРОЛОГ-программе 5....
1990 г.
Настоящее введение в Пролог содержит описание подмножества языка, общего для многих реализаций. Рассмотрены синтаксические элементы и структуры языка, арифметические функции, рекурсия, структуры данных (списки и деревья), операторы и процедуры, встроенные функции для отладки программ и работа с БД. Книга может быть рекомендована как учебник и как компактное справочное...
Пер. с англ. — М.: Финансы и статистика, 1990. — 144 с.
Настоящее введение в Пролог содержит описание подмножества языка, общего для многих реализаций. Рассмотрены синтаксические элементы и структуры языка, арифметические функции, рекурсия, структуры данных (списки и деревья), операторы и процедуры, встроенные функции для отладки программ и работа с БД.
Книга может быть...
2-е изд., испр. — М.: НОУ "Интуит", 2016. — 265 с. В курсе изучается логическое программирование и язык Пролог. В качестве реализации языка Пролог используется современная версия языка Visual Prolog. Предназначен для начинающих. Рассматриваются основные теоретические понятия логического программирования, а также приемы и методы программирования на языке Пролог. Изучаются основы...
Определить значение истинности логического выражения Используя двухместные предикаты сестра ( *, * ), мать ( *, * ) или отец ( *, * ), составить правило, определяющее двухместный предикат тетя ( *, * ). Представлена база данных о родственниках, составить запросы, позволяющие определить имена отцов, матерей, бабушек и дедушек. Составить программу на Турбо Прологе для определения...
Книга посвящена основам логического программирования. Она представляет собой руководство по применению системы программирования Турбо-Пролог. В качестве примеров рассматриваются разработка естественно-языковых и экспертных систем, многооконный интерфейс с пользователем, машинная графика.
История создания и развития языка Prolog.
Сферы использования.
Среда разработки "SWI-Prolog".
Среда разработки "Тurbo Prolog".
Среда разработки " Visual Prolog ".
Количество страниц 35.
Книга английских специалистов, содержащая описание основ логического программирования и особенностей языка Пролог - базового языка ЭВМ пятого поколения. Области применения этого языка связаны с разработкой экспертных систем, интеллектуальных баз данных, обработкой естественного языка, разработкой компиляторов ЭВМ. Книга полезна для первого ознакомления с языком Пролог.
Для...
М.: Мир, 1987. — 334 с. Книга английских специалистов, содержащая описание основ логического программирования и особенностей языка Пролог - базового языка ЭВМ пятого поколения. Области применения этого языка связаны с разработкой экспертных систем, интеллектуальных баз данных, обработкой естественного языка, разработкой компиляторов ЭВМ. Книга полезна для первого ознакомления с...
Книга английских специалистов, содержащая описание основ логического программирования и особенностей языка Пролог – базового языка ЭВМ пятого поколения. Области применения этого языка связаны с разработкой экспертных систем, интеллектуальных баз данных, обработкой естественного языка, разработкой компиляторов ЭВМ. Книга полезна для первого ознакомления с языком Пролог.
Эта книга начиналась как личный проект. Моим намерением было просто написать руководство по логическому программированию для моего сына. Однако успех книги был огромным, и я получил множество предложений по улучшению текста или кода, а также пожеланий продолжать работу.
Руководство по логическому программированию, 210 с. 2008 год! Цвет, отличное качество, интересное и доступное...
Методическое пособие. — В 4-х частях. — Минск: Белорусский государственный университет информатики и радиоэлектроники, 2006. — 28 с. Во второй части методического пособия изложены основы логического программирования на примере языка Пролог. Пособие предназначено для студентов дневной и дистанционной форм обучения. Для студентов специальности I-40 01 01 "Программное обеспечение...
Данное учебное пособие предназначено для студентов компьютерных специальностей, изучающих курс «Логическое программирование». Рассмотрены основы логического программирования. Дается описание, синтаксические элементы и основы программирования на Турбо Прологе. Рассмотрена работа с базами данных и с системными
предикатами, необходимыми для программирования. Изложение иллюстрируется...
История возникновения и развития Пролога. Японский проект ЭВМ пятого поколения. Императивные и декларативные языки программирования. Области
использования Пролога. Пролог - язык начального обучения программированию. Преимущества и недостатки языка Пролог.
В настоящей главе рассматриваются основные отличия языка Visual Prolog от реализаций языка Пролог, удовлетворяющих стандарту (т. н. стандартного Пролога), связанные с унификацией термов. Кроме этого, приводится пример использования интерпретатора PIE в программе на языке Visual Prolog.
Пер с англ. А. В. Чукашова, М. В. Сергиевского; Под ред. М. В. Сергиевского, —М.: Машиностроение, 1990. —240 с.: ил.
В книге английского автора рассматривается использование наиболее популярного языка логического программирования для построения баз данных, баз знаний и экспертных систем. Книга содержит сравнительно мало теоретического материала и ориентирована в основном на...
Описывается реляционный язык программирования Пролог, рассматривается методика программирования и конкретные приложения. Содержит большое число удачно подобранных примеров, иллюстрирующих суть обсуждаемых явлений, подробный предметный указатель, глоссарий. Для специалистов в области вычислительной техники и информатики. 465 страниц.
СПб.: БХВ-Петербург, 2016. — 544 с.: ил. — (Учебная литература для вузов). — ISBN: 978-5-9775-3487-1. В учебнике излагается полный набор классических и новейших инструментов логического программирования, а также парадигмы функционального, обобщен ного, императивного и объектно-ориентированного программирования, органически вошедшие в Visual Prolog 7.5. Рассматриваются...
СПб.: БХВ-Петербург, 2016. — 544 с.: ил. — (Учебная литература для вузов). — ISBN: 978-5-9775-3487-1. В учебнике излагается полный набор классических и новейших инструментов логического программирования, а также парадигмы функционального, обобщен ного, императивного и объектно-ориентированного программирования, органически вошедшие в Visual Prolog 7.5. Рассматриваются...
М.: Финансы и статистика, 1994. — 256 с.: ил. — ISBN: 5-279-00613-0. Книга продолжает ряд публикаций издательства, рассчитанных на практическое освоение программистами и пользователями технологии экспертных систем (ЭС). На конкретных примерах объяснены идеи проектирования и архитектура всех основных блоков ЭС, а также способы их реализации на Турбо Прологе. Для программистов,...
М.: Институт Радиотехники и Электроники РАН, 2004. — 137 с. Акторный Пролог — объектно-ориентированный логический язык, предназначенный для программирования информационных систем, функционирующих в динамическом внешнем окружении (интеллектуальных агентов Интернет, систем интерактивного проектирования и др.). Акторный Пролог воплощает новый подход к объединению логического и...
М.: Изд-во МЭИ, 1996. — 452 с. — ISBN: 5-7046-0162-6. Излагаются основные понятия математической логики и формального вывода, теории графов, комбинаторики, теории конечных автоматов в ее связи с монадической логикой. Рассматривается резолютивный вывод и на его основе вводится универсальный язык программирования Пролог. Программируются некоторые алгоритмы на графах, в...
Знакомство с основами логического программирования (Prolog). Написать программу, реализующую калькулятор на четыре арифметических действия (без скобок). Для удобства работы реализовать меню с соответствующими пунктами. Подсчитать, сколько раз встречается некоторая буква в строке. Строка и буква должны вводиться с клавиатуры.
Учебное пособие /В. Г. Николаев, О. Н. Евсеева, Н. Г. Ярушкина; Под ред. О. Н. Евсеевой. - Ульяновск: УлГТУ, 1995. - 64 с. В пособии приводятся основные приемы программирования на языке инструментальной системы Турбо-Пролог (версии 2. 0) для персональных ЭВМ, программно-совместимых с компьютерами IBM PC/XT (АT) фирмы IBM; стандартные библиотечные предикаты этой системы;...
МАИ, Москва, факультет прикладной математики, кафедра вычислительной математики и программирования. Цель: Первоначальное ознакомление с выбранной системой программирования на языке Пролог, реализация предикатов обработки списков в различных представлениях. Задача: Ознакомиться с одной из систем программирования на языке Пролог на персональной или мини-ЭВМ (J#, GNU Prolog,...
Электрическая схема И-НЕ (через две логические функции) и ее описание на языке Prolog в рамках изучения Интеллектуальных Подсистем САПР, преподаватель Андронов С.А., 4 курс. Работа включает изображение схемы и код программы-описания. Лабораторная зачтена на "отлично".
Создать программу работы с файлами целых чисел, реализующую следующие функции обработки файлов: а) создание файла; б) добавление элемента в файл; в) модификацию данных в файле; г) удаление элемента в файл; д) просмотр файла (вывод на экран); ж) найти сумму положительных элементов файла.
Написать и отладить программу решения задачи искусственного интеллекта, используя технологию поиска в пространстве состояний. Крестьянину нужно перевезти через реку волка козу капусту Но лодка такова, что в ней может поместиться только крестьянин, а с ним или один волк, или одна коза, или одна капуста. Но если оставить волка с козой, то волк съест козу, а если оставить козу с...
Университет машиностроения (МАМИ), Москва, Будылина Е.А., вариант 0, 25 стр, 2012 г, дисциплина Интеллектуальные информационные системы. Введение Логические основы работы системы Пролог-Д Построение базы знаний Факты и правила Арифметика и другие встроенные предикаты в Прологе-Д Рекурсия Графические возможности системы Пролог-Д Обработка списков Заключение Список Литературы...
Нижний Новгород НГТУ им. Р.Е.Алексеева, 2013
1) Вариант 10 - Реализация алгоритма рекурсивного перевода ж\д состава с одной ветки на другую при помощи тупиковой ветки
2) Вариант 21 - Реализация алгоритма, решающего задачу "Ханойская башня"
Каждый отчёт состоит из следующих разделов:
- Постановка задачи
- Алгоритм решения задачи (блок схемы)
- Листинг программы на языке...
Теоретические принципы ПРОЛОГа. Структура программы на ПРОЛОГе. Описание арифметических операций. Запросы к ПРОЛОГ-программе. Управление процессом решения задачи. Использование предиката fail. Использование предиката cut. Использование рекурсии в ПРОЛОГе. Использование списков. Решение логических задач. Базы данных и знаний на ПРОЛОГе. Задания для самостоятельной работы....
Методические указания. Теория + Листинги. — Москва: МГТУ, 2018. — 68 с. Методические указания состоят из двух частей. Первая часть посвящена инструментальному средству создания интеллектуальных систем на основе продукционной модели, а вторая часть освоению и реализации основных методов, применяемых при создании экспертных систем. Приобретение навыков программирования с...
Динамическая база содержит информацию о результатах сессии данной группы студентов в виде утверждений следующих видов: математика, физика, химия, информатика (Ф. И. О., оценка). Предполагается, что в группе N студентов, и все они имеют оценки по всем предметам (5,4,3,2). В динамической базе данных (ДБД) для каждого студента может храниться информация об одной или нескольких...
МАИ. Факультет прикладной математики. Кафедра вычислительной математики и программирования. Написать и отладить Пролог-программу (используя любую систему) решения логической задачи в соответствии с вариантом. Один из пяти братьев разбил окно. Андрей сказал: Это или Витя, или Коля. Витя сказал: Это сделал не я и не Юра. Дима сказал: Нет, один из них сказал правду, а другой...
Шпаргалка СИИ Системы искусственного интеллекта. Программирование в среде Visual Prolog. ДНУ им Олеся Гончара ФФЭКС группа КС (компьютерные науки) преподаватель Егоров 51 вопрос Вопросы: Поняття "штучний інтелект". Тест Тьюрінга. Залежності, які можуть бути виявлені методами Data Mining їх характеристика. Методи (засоби) Data Mining. (Стисло опишіть сутність кожного метода)....
Учебное пособие –Самара: СНЦ РАН, 2010 –81 с., ил. ISBN: – 978-593424-486-7 Данное пособие предназначено для студентов направления 010400 «Информационные технологии» и специальности 230102 «Автоматизированные системы обработки информации и управления», и может быть использовано при изучении дисциплин «Логическое программирование», «Интеллектуальные системы», «Системы...
Учебное пособие - Самара: СНЦ РА, 2010. - 81 с. Предназначено для студентов направления «Информационные технологии» и специальности «Автоматизированные системы обработки информации и управления», и может быть использовано при изучении дисциплин «Логическое программирование», «Интеллектуальные системы», «Системы искусственного интеллекта» и «Основы экспертных систем»....
Перевод. — М. : Мир, 1990. — 333 с. ил.; 24. — ISBN 5-03-000406-8. Перевод с англ. С.Ф. Сопрунова, Л.В. Шабанова; Под ред. Ю.Г. Дадаева. В книге излагаются основы логического программирования. Дается описание языка Пролог. Обсуждаются ввод-вывод, приемы и средства организации интерактивных программ, вопросы недетерминированного программирования, применения структур данных,...
Перевод с англ. Н.Г. Волченкова, С.Г. Григорьева. Под редакцией Н.Г. Волченкова. — М.: Радио и Связь, 1993. — 368 с.: ил. — ISBN: 5-256-00921-4. В книге автора из США содержится большой набор методов программирования, которые можно рассматривать как инструментарий для решения самых различных задач программирования. Детально представлен процесс разработки программных систем,...
Екатеринбург: Российский государственный профессионально-педагогический университет (РГППУ), 2008. — 67 с. — ISBN: 978-5-8050-0236-7. Практикум позволяет сформировать базовые умения по основам реализации алгоритмов искусственного интеллекта на языке Visual Prolog в рамках дисциплины «Искусственный интеллект». Рассматриваются математические основы логического программирования,...
Методические указания. - Новосибирск: СибГУТИ, 1999. - 37 с. Методические указания предназначены для студентов инженерно-технических факультетов, изучающих логическое программирование в 4-м семестре. Они содержат необходимые сведения по программированию на языке Турбо-Пролог, задачи для контрольных работ и рекомендуемую литературу.
Начала работы на Турбо-Прологе: пакет системы Турбо-Пролог. Основные понятия языка Турбо-Пролог: декларативные и императивные языки, управление программой, внутренние подпрограммы унификации Турбо-Пролога. Основы программирования на Турбо-Прологе: структура программ Турбо-Пролога, предикаты и утверждения, арифметика в Турбо-Прологе. Повторение и рекурсия: программирование...
М.: Горячая линия-Телеком, 2013. — 232 с. — ISBN: 978-5-9912-0194-0. Рассмотрены теоретические основы логического программирования. Даны примеры и описание предметной области с помощью логических моделей. Показана связь базовых понятий логики предикатов и основных конструкций языка логического программирования Пролог. Изложены основы логического программирования на примере...
Учебное пособие, 41 стр. Учебное пособие обобщает опыт автора по проведению лекций по теме "Введение в искусственный интеллект" и "Автоматический анализ текста" на математическом факультете Омского государственного университета в 2000-2004 гг. в части, касающейся программирования на языке PDC Prolog. Представлены история языка, разделы программы, основные структуры данных и...
ШПАРГАЛКА!
Понятия предиката.
Алгоритмы унификации.
Структура пролог-программы.
Организация повторов.
Ветвление-выбор.
Стандартные математические предикаты.
Списки и операции над ними.
Сортировка списков.
Выборка элементов из списков.
Слияние списков.
Множества в Прологе.
Реализация деревьев в Прологе.
Функциональный подход программирования.
Методы обработки списков...
Язык логического программирования Пролог. Концепция логического программирования.
Основы программирования на Турбо-Прологе: структура программы, основные типы данных, работа с секцией domains.
Основы программирования на Турбо-Прологе: структура программы, внутренние и внешние цели.
Основы программирования на Турбо-Прологе: структура программы, предикаты, факты, правила.
Основы...
2-е изд. — М.: Интуит, 2016. — 214 c. Курс посвящен изучению основ языка логического программирования Пролог. Всюду, где возможно, общие принципы программирования на Прологе изучаются без привязки к конкретной реализации. При выполнении практических заданий, планируется использовать Турбо Пролог или PDC Пролог. На взгляд автора, это наиболее используемые и распространенные...
Приводится описание основных конструкций языка логического программирования ПРОЛОГ, используемого при разработке экспертных систем и баз знаний. Иллюстративные примеры позволяют получить представление о приемах построения логических программ. Предлагаемые для самостоятельного решения задачи, служат для накопления практического опыта разработки программ. История Пролог. КраткаЯ...
1991 г.
В книге специалиста из ФРГ методически удачно в компактной форме дается информация, необходимая для практической работы в системе Турбо-Пролог на персональных ЭВМ типа IBM PC.
В книге содержатся описания команд основного меню, команд компилятора и редактора. Кроме того, рассмотрены стандартные предикаты и приведены примеры их использования.
Комментарии