Springer, 2004. - 1159 p. ISBN: 3540229892 This book constitutes the refereed proceedings of the 14th International Conference on Field-Programmable Logic, FPL 2003, held in Leuven, Belgium in August/September 2004. The 78 revised full papers, 45 revised short papers, and 29 poster abstracts presented together with 3 keynote contributions and 3 tutorial summaries were carefully...
Springer, 2013. — 423 p. — (Cognitive Technologies). — ISBN 978-3-642-37746-4. Дедуктивная электронная таблица В этой книге описываются недавние междисциплинарные исследования на стыке областей логического программирования, теории баз данных и взаимодействия человека с компьютером. Целью этих усилий было разработать основу дедуктивной электронной таблицы, приложения для...
Springer, 2013. — 423 p. — (Cognitive Technologies). — ISBN 978-3-642-37746-4. Дедуктивная электронная таблица В этой книге описываются недавние междисциплинарные исследования на стыке областей логического программирования, теории баз данных и взаимодействия человека с компьютером. Целью этих усилий было разработать основу дедуктивной электронной таблицы, приложения для...
Springer, 2001. — 328 p. — ISBN: 978-3540419501 Constraints provide a declarative way of representing infinite sets of data. They are well suited for combining different logical or programming paradigms as has been known for constraint logic programming since the 1980s and more recently for functional programming. The use of constraints in automated deduction is more recent and...
Springer, 2018. — 341 p. This book constitutes the thoroughly refereed post-conference proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2017, held in Namur, Belgium, in October 2017. The 19 revised full papers were carefully reviewed and selected from 29 submissions. In addition to the 19 revised papers, this volume...
Morgan & Claypool, 2020. — 220 p. — (Synthesis Lectures on Artificial Intelligence and Machine Learning). — ISBN: 978-1681737225. Logic Programming is a style of programming in which programs take the form of sets of sentences in the language of Symbolic Logic. Over the years, there has been growing interest in Logic Programming due to applications in deductive databases,...
Morgan & Claypool, 2014. — 230 p. — ISBN: 978-1627052559 General game players are computer systems able to play strategy games based solely on formal game descriptions supplied at "runtime" (n other words, they don't know the rules until the game starts). Unlike specialized game players, such as Deep Blue, general game players cannot rely on algorithms designed in advance for...
Springer-Verlag, 1994. - 433 p. ISBN: 3540584196 This volume contains the proceedings of the 4th International Workshop on Field-Programmable Logic and Applications (FPL '94), held in Prague, Czech Republic in September 1994. The growing importance of field-programmable devices is substantiated by the remarkably high number of 116 submissions for FPL '94; from them, the revised...
Boca Raton: CRC Press, 2011. — 305 p. About the Authors Order and Logic Ordered Sets and Fixed-Point Theorems First-Order Predicate Logic Ordered Spaces of Valuations The Semantics of Logic Programs Logic Programs and Their Models Supported Models Stable Models Fitting Models Perfect Models Well-Founded Models Topology and Logic Programming Convergence Spaces and Convergence...
Springer, 2002. — 207 p. — ISBN 978-1-4612-6542-9. An understanding of modern computer logic - incorporating core knowledge of number systems, number conversions, Boolean algebra, memories, and logic circuits - is fundamental to further study of computer architectures, system software, and computer networks. Computer Logic: Design Principles and Applications introduces and...
Morgan & Claypool, 2018. — 615 p. — (ACM Books, 20). — ISBN: 978-1-97000-199-0, 978-1-97000-196-9, 978-1-97000-197-6. Logic Programming (LP) is at the nexus of knowledge representation, AI, mathematical logic, databases, and programming languages. It allows programming to be more declarative, by specifying "what" to do instead of "how" to do it. This field is fascinating and...
Association for Computing Machinery and Morgan & Claypool Publishers, 2018. — 615 p. — (ACM Books, 20). — ISBN: 978-1-97000-199-0, 978-1-97000-196-9, ISBN: 978-1-97000-197-6, 978-1-97000-198-3. Logic Programming (LP) is at the nexus of knowledge representation, AI, mathematical logic, databases, and programming languages. It allows programming to be more declarative, by...
Morgan & Claypool Publishers, 2018. — 520 p. — (ACM Books, 20). — ISBN: 978-1-97000-197-6 eBook. Logic Programming (LP) is at the nexus of knowledge representation, AI, mathematical logic, databases, and programming languages. It allows programming to be more declarative, by specifying "what" to do instead of "how" to do it. This field is fascinating and intellectually stimulating...
Morgan & Claypool Publishers, 2018. — 520 p. — (ACM Books, 20). — ISBN: 978-1-97000-197-6 eBook. Logic Programming (LP) is at the nexus of knowledge representation, AI, mathematical logic, databases, and programming languages. It allows programming to be more declarative, by specifying "what" to do instead of "how" to do it. This field is fascinating and intellectually stimulating...
Springer, 1987. - 212 pages.
This is the second edition of the first book to give an account of the mathematical foundations of Logic Programming. Its purpose is to collect, in a unified and comprehensive manner, the basic theoretical results of Logic Programming, which have previously only been available in widely scattered research papers. In addition to presenting the...
Imperial College Press, 2014. — 264 p. — ISBN: 1783265086, 9781783265084 This book represents a selection of papers presented at the Inductive Logic Programming (ILP) workshop held at Cumberland Lodge, Great Windsor Park. The collection marks two decades since the first ILP workshop in 1991. During this period the area has developed into the main forum for work on logic-based...
21st International Conference, ILP 2011. Windsor Great Park, UK, July 31 – August 3, 2011. Revised Selected Papers. — Springer-Verlag Berlin Heidelberg, 2012. — 416 p. — ISBN 978-3-642-31950-1, e-ISBN 978-3-642-31951-8 The ILP 2011 conference held in Cumberland Lodge, Great Windsor Park, marked 20 years since the first ILP workshop in 1991. During this period the conference has...
Toshkent: Cho'lpon, 2013. – 232 b. Algoritmlar. Ijrochilar va ularning ko'rsatmalari. Proseduralar. Takrorlash tuzilmasi. Mantiq elementlari va shartlar. Ijrochi robot. Rekursiya. Saralovchi uchun masalalar. Mukammal saralovchi. Dasturlash asoslari.
CRC Press, 2017. — 414 p. — ISBN: 978-1-4987-3528-5. Recursion is one of the most fundamental concepts in computer science and a key programming technique that allows computations to be carried out repeatedly. Despite the importance of recursion for algorithm design, most programming books do not cover the topic in detail, despite the fact that numerous computer programming...
CRC Press, 2017. — 414 p. — ISBN: 978-1-4987-3528-5. Recursion is one of the most fundamental concepts in computer science and a key programming technique that allows computations to be carried out repeatedly. Despite the importance of recursion for algorithm design, most programming books do not cover the topic in detail, despite the fact that numerous computer programming...
CRC Press, 2018. — 451 p. — ISBN10: 1498735282, 13 978-1498735285. Recursion is one of the most fundamental concepts in computer science and a key programming technique that allows computations to be carried out repeatedly. Despite the importance of recursion for algorithm design, most programming books do not cover the topic in detail, despite the fact that numerous computer...
Для студентов, обучающихся по направлению подготовки бакалавров 231000.62 – «Программная инженерия» и профилю «Разработка программно-информационных систем». — Махачкала: ДГТУ, 2013. — 32с. Методические указания предназначены для использования при выполнении лабораторных работ по дисциплине «Логическое и функциональное программирование». Сформулированы цели и задачи, содержание...
Москва: Мир, 1988. — 368 с. Сборник работ зарубежных специалистов, отражающий современное состояние в новом направлении программирования, тесно связанном с математической логикой. Это направление активно развивается как в теоретическом, так и в практическом плане, включая в себя новые языки (Пролог, Логлисп и др.), методы реализации и проекты машинных архитектур. В сборник...
Сборник работ зарубежных специалистов, отражающий современное состояние в новом направлении программирования, тесно связанном с математической логикой. Это направление активно развивается как в теоретическом, так и в практическом плане, включая в себя новые языки (Пролог, Логлисп и др. ), методы реализации и проекты машинных архитектур. В сборник включен специально написанный...
А. Предикаты работы с бинарными деревьями
tree_depth(Т,N): N – глубина дерева;
sub_tree(Т1, Т2): дерево Т1 является непустым поддеревом дерева Т2;
flatten_tree(Т,L): L – список меток всех узлов дерева Т;
nsert(Т1,N, Т2): Т2 – дерево, полученное путем добавления натурального числа N в упоря-доченное дерево Т1 с учётом упорядоченности
Б. Предикаты для работы с графами...
М.: Радио и связь, 1989. — 131 с. — ISBN: 5-256-00338-0. Рассмотрен новый подход к созданию и использованию баз данных (БД) в системах обработки информации, основанных на отображении временных рядов. Анализируются состояние и тенденции развития информационного обеспечения в системах обработки данных. Рассматриваются проблемы применения БД для приложений, характеризующихся...
М.: Радио и связь, 1989. — 131 с. — ISBN: 5-256-00338-0. Рассмотрен новый подход к созданию и использованию баз данных (БД) в системах обработки информации, основанных на отображении временных рядов. Анализируются состояние и тенденции развития информационного обеспечения в системах обработки данных. Рассматриваются проблемы применения БД для приложений, характеризующихся...
Учеб. пособие. – Пенза: Изд-во Пенз. гос. техн. ун-та. – 1997. – 88 с. Рассматриваются вопросы использования языка логического программирования Пролог в сетевой технологии проектирования распределенных вычислительных систем и сетей. Приводится описание предикатных сетей, интерпретируемых на языке Пролог, примеры спецификации и моделирования вычислительных систем, процессов и...
Минск: Институт технической кибернетики НАН Беларуси, 2001. — 200 с. — ISBN: 985-6453-71-2. При проектировании логических EXOR-схем, содержащих элементы суммирования по модулю 2, возникают задачи оптимального представления булевых функций и систем полиномами Жегалкина и Рида-Маллера. Эта комбинаторная задача существенно усложняется в случае не полностью определенных булевых...
Требуется сформировать исходный список структур. Сформировать иp исходного списка новый список структур и вывести его на экран. Уточнение задания: определены структуры «дата рождения», «Ф. И. О. »(фамилия, имя, отчество), «персона»(Ф. И. О., дата рождения) и «супруги» (Ф. И. О., Ф. И. О. )
Найти все пары, где оба супруга родились в один и тот же месяц.
К.: Техника, 1980. -79с., ил. Рассказывается о применении ЭВМ для решения некоторых невычислительных задач. Показано, как вычислительные машины выступают соперником человека в играх, как они решают логические задачи, как с их помощью моделируется распознавание простейших образов, обсуждается использование ЭВМ в исследовании некоторого класса искусственных эволюций.
М.: Советское радио, 1967. — 325 с.
Предисловие
Введение
Некоторые сведения из кибернетики и математической логики
Основные сведения об устройстве электронных вычислительных машин и программировании
Алгоритмический язык для программирования экономических и математических задач
Алгоритмический язык АЛГОЛ-60
Алгоритмический язык АЛГЭМ для программирования...
Учебное пособие. - Алт. гос. техн. ун-т им. И. И. Ползунова. Центр дистанционного
обучения. Барнаул: 1999. - 148с.
Данное учебное пособие предназначено для дистанционного изучения дисциплины
«Функциональное и логическое программирование». Рассматриваются вопросы
программирования на языке Лисп, применение этого языка для обработки
математических выражений в системе Reduce-З и...
Лабораторный практикум для студентов специальностей “Программное обеспечение информационных технологий” и «Информационные системы и технологии (по направлениям)». — Минск: БНТУ, 2012. — 52 с. Предлагаемые лабораторные работы ставят своей целью закрепление теоретического материала и приобретение студентами практических навыков программирования на языке логического...
Монография. — Перевод с английского Л.Г. Осмоловского, В.Э. Вольфенгагена, В.Я. Яцука. — С предисловием и примечаниями Д.А. Поспелова. — Москва: Наука, Главная редакция физико-математической литературы, 1990. — 280 с. — (Проблемы искусственного интеллекта). Изложены основы так называемой клаузальной логики, являющейся средством логического программирования. Последнее лежит в...
Симферополь: ФГАОУ ВО «Крымский федеральный университет имени В. И. Вернадского», 2016. ― 54 с. Пособие содержит учебно-методический материал и задания по практической части курса «Логическое программирование». Предназначено для студентов 3-го курса направления подготовки 01.03.02 — Прикладная математика и информатика. Содержание: Основы программирования на Прологе....
В.Г.Крылов - Основы логического программирования. Учебное пособие Екатеринбург, 2009 г. - 62 стр. Уральский государственный экономический университет Кафедра информатики и эконометрики Содержание: Основы логического программирования Введение Предложения: факты и правила Запросы Предикаты Переменные Основные секции программы Основные стандартные домены Поиск с возвратом...
М.: Наука, 1989. — 160 с. Неформальные процедуры, выполняемые человеком, обладают рядом специфических особенностей, существенно затрудняющих их представление в ЭВМ с помощью алгоритмических языков программирования. Предлагаемая книга посвящена исследованию неалгоритмических аспектов представления неформальных процедур. В качестве модели представления знаний используется...
Методическое пособие. - Мензелинск: Мензелинский педагогический колледж, 2009. - 98 с. На очном отделении раздел «Логические основы компьютера» начинается изучаться на 1 курсе. Изучение рассчитано на 30 часов. Из них на самостоятельную работу студента отводится 4 часа. Затем выполняется контрольная работа. Календарно-тематический план по данному разделу. Требования к знаниям и...
УЦ "Интеграция", Серпухов, Рязанов А.М., 6 семестр, 2010.
Введение в дисциплину.
Теоретические основы языка Пролог.
Базовые понятия языка Пролог.
Рекурси.
Основы Турбо Пролога. Структура программы на Турбо Прологе. Директивы компилятора.
Управление выполнением программы на Прологе.
Списки.
Сортировка списков.
Множества.
Деревья.
Строки.
Файлы.
Внутренние...
Знакомство со средой Турбо-Пролог. Трассировка программы. Основы программирования на Турбо-Прологе. Стандартные типы доменов. Структура программ. Арифметические операторы. Описание задач с многовариантными решениями. Представление и обработка списков. Использование структур. Организация многооконных меню и работа с файлами. Работа с динамическими базами данных.
Особенности языка Пролог.
Правила сопоставления термов в системе Пролог.
Общие принципы поиска ответов на вопросы системой Пролог.
Объекты данных.
Структурированные объекты.
Структура программы.
Арифметические выражения.
Сравнение результатов арифметических выражений.
Работа с файлами.
Списки.
Рекурсивное определение списка.
Работа со списками.
Проверка типов термов....
Введение в дисциплину.
Синтаксис.
Базовые функции.
Базовые предикаты.
Машинное представление и оценивание выражений.
Имя и значение символа.
Определение функций.
Презентация содержит 28 слайдов:
Элементарные логические операции.
Свойства логических операций.
Схемная реализация базовых логических элементов.
Обозначения базовых логических элементов.
Полусумматор.
Логические основы построения цифровых автоматов.
Функции проводимости F некоторых переключательных схем.
Этапы синтеза переключательной схемы.
Этапы анализа схемы.
Этапы...
Презентация содержит 42 слайда. Основные разделы:
Логические выражения и операции.
Диаграммы.
Преобразование логических выражений.
Синтез логических выражений.
Логические элементы компьютера.
Логические задачи.
Диссертация на соискание учёной степени кандидата физико-математических наук. :2.3.5. Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей . — Санкт-Петербургский государственный университет. — Санкт-Петербург, 2022. — 208 с. Научный руководитель: доктор технических наук, доцент Кознов Дмитрий Владимирович. Введение. Обзор предметной...
Наглядное пособие. — СПб.: СПбГТУ, 2010. — 483 с. Курс состоит из двух частей: теоретические основы проектирования самосинхронных схем и применение многозначной логики при проектировании аналоговых устройств управления, заданных средствами «размытой, или нечеткой» логики. В основном излагается оригинальный материал, ранее не представленный в программах Российских университетов....
Наглядное пособие. — СПбГТУ, 2010. — 357 слайдов. Курс состоит из двух частей: теоретические основы проектирования самосинхронных схем и применение многозначной логики при проектировании аналоговых устройств управления, заданных средствами «размытой, или нечеткой» логики. В основном излагается оригинальный материал, ранее не представленный в программах Российских университетов....
СПб.: Профессиональная литература, 2014. — 400 c. В книге излагаются вопросы построения формальных динамических моделей асинхронных параллельных процессов. При этом рассматриваемые процессы могут относится к различным прикладным областям ,например, к вычислениям, управлению, интерфейсам, программированию, робототехнике или искусственному интеллекту.
ВМиК МГУ, Москва, лектор - Захаров В.А., 100 стр.
(Год выпуска не указан).
Конспект лекций (восстановлен из текстового файла).
Презентации к курсу лекций (1400 слайдов).
Натуральный вывод (сводный файл).
Секвенциальное исчисление (сводный файл).
Материалы к экзамену.
Программные материалы к курсу лекций.
Пер. с англ. под ред. к.ф.м.н. В.А. Захарова и академика В.А. Садовничего. — М.: Изд-во "Факториал", 1998. — 288 с. — ISBN: 5-88688-037-2. Книга известных специалистов в области математической логики и логического программирования (Греция, США). Излагаются основные понятия и принципы математической логики. Основное внимание уделяется вопросам применения языка математической...
Книга известных специалистов в области математической логики и логического программирования (Греция, США). Излагаются основные понятия и принципы математической логики. Основное внимание уделяется вопросам применения языка математической логики для представления знаний и формальным методам доказательства теорем с использованием семантических таблиц и резолютивного вывода. На...
Методичні вказівки до виконання лабораторних робіт з дисципліні ―Цифрова обробка експериментальних даних. Для студентів напряму 0804 – Комп‘ютерні науки / Укл.: О.I. Михальов, В.В. Гнатушенко, В.В. Гнатушенко, К.Ю. Новікова. Пiд ред. О.I. Михальова. — Дніпропетровськ: НМетАУ, 2013. — 60 с. Методичні вказівки є практичною частиною комплексу навчально-методичних матеріалів з...
Минск: Белорусский государственный университет информатики и радиоэлектроники, 2002. — 27 с. В методическом пособии изложены основы функционального программирование на примере языка Лисп. Приведены сведения о системе программирования muLisp и описаны основные функции языка Лисп. Для студентов специальности Т10.02.00 "Программное обеспечение информационных технологий"
Учебное пособие. - Новосибирск: НГТУ, 2006. - 60 с. В настоящем учебном пособии излагаются базовые принципы логического и функционального программирования. Пособие разработано на кафедре вычислительной техники Новосибирского государственного технического университета. Предложения: факты и правила Запросы Предикаты Переменные Основные секции программы Основные стандартные домены...
Учебное пособие. — Томск: Томский политехнический университет, 2008. — 112 с. В пособии изложены современные подходы к программированию систем управления информационными комплексами. Представлен теоретический аппарат, необходимый для успешной работы в различных подобластях Искусственного Интеллекта. Рассмотрены современные трактовки парадигмы наиболее популярного в настоящее время...
УГАТУ, УТС, 3 курс, преподаватель- Хасанов А. Ю.
Задание 1:
Определить предикат потомки мужского пола и найти всех потомков мужского пола и потомков мужского пола конкретного лица.
Задание 2:
Заданы 2 круга. Один с центром в (х1, у1) и радиусом r1, и другой соответственно (х2,у2) и r
2. Определить взаимное расположение кругов.
Технология создания программы в интегрированной среде. Справки по структуре и операторам Pascal-программы. Пример подготовки и выполнения программы. Ошибка компиляции
Введение.
Понятие о БЗ.
Средства описания БЗ.
Формы представления знаний.
Исчисление высказываний.
Логика предикатов.
Семантические сети.
Фреймы.
Система продукции.
Понятие вывода. Метод резолюций.
Ввод- вывод в Турбо Прологе.
Технические приложения Пролога. и другие темы.
13 страниц
Подготовка к экзамену. Понятие об искусственном интеллекте и экспертных системах. Понятие о базах знаний. Средства описания и представления знаний. Формы представления знаний. Логические модели. Семантические сети. Пример применения семантических сетей для решения логических задач. Фреймы. Пример описания задач с помощью фреймов. Системы продукций. Прямые и обратные системы...
Введение.
Язык программирования ЛИСП.
Основные функции языка Лисп.
Арифметические функции.
Логические функции.
Специальные функции.
Особенности диалектов языка ЛИСП.
MacLISP.
MuLISP.
nterLISP.
CommonLISP.
Особенности языка ЛИСП.
Заключение.
1.div(X,Y,Z): Z – результат целочисленного деления X на Y, где X и Y – натуральные числа, представленные в структурированной форме;
2.gcd(X,Y,Gcd): Gcd – наибольший общий делитель натуральных чисел X и Y; процедура должна быть реализована без использования операции деления по модулю; при реализации можно использовать по желанию либо структурированное представление, либо обычное...
Описанны на языке Пролог:
Факты:
1. человек(Х, Y) – Х пола Y
2. родитель(Х, Y) – Х родитель Y
Правила:
1. сын(Х, Y) – Х сын Y
2. дочь(Х, Y) – Х дочь Y
3. мама(Х, Y) – Х мама Y
4. папа(Х, Y) – Х папа Y
5. брат(Х, Y) – Х брат Y
6. сестра(Х, Y) – Х сестра Y
7. тетя(Х, Y) – Х тетя Y
8. дядя(Х, Y) – Х дядя Y
9. дедушка(Х, Y) – Х дедушка Y
10. бабушка(Х, Y) – Х бабушка Y...
Романов Д. А. Методические указания по оформлению курсовой работы по дисциплине "Функциональное и логическое программирование" для студентов специальности 220400 – Программное обеспечение вычислительной техники и автоматизированных систем. Краснодар, 2004, 24 с. Представлены основные требования к выполнению и оформлению курсовой работы. Печатается по решению...
2-е изд. — М.: Интуит, 2016. — 125 с. Учебное пособие знакомит с языками типа модели Маркова, которые называют языками логического программирования или искусственного интеллекта. Традиционные языки программирования, наиболее часто используемые на практике, относятся к модели языков фон Неймановского типа. Эта модель тесно связана с одной из моделей алгоритмов, называемой...
Учебное пособие. — Ярославль: ЯрГУ, 2007. — 144 с. Учебное пособие знакомит с одним из интереснейших направлений в развитии языков программирования языками типа модели Маркова, которые называют языками логического программирования, а также функционального программирования или искусственного интеллекта. С целью усвоения материала и развития алгоритмических навыков в каждой главе...
2-е изд., испр. — М.: Интуит, 2016. — 125 с. Учебное пособие знакомит с языками типа модели Маркова, которые называют языками логического программирования или искусственного интеллекта. Традиционные языки программирования, наиболее часто используемые на практике, относятся к модели языков фон Неймановского типа. Эта модель тесно связана с одной из моделей алгоритмов, называемой...
Практичні заняття з дисципліни „САПР поліграфічних ма-шин” і „САПР пакувальних машин ” проводяться на базі спецкур-су лекцій по вказаним дисциплінам (об’єм 36 год.) а також базового курсу лекцій з основ програмування в системі AutoCAD мовою AutoLisp викладеного у IX семестрі 4 курсу. Практичні заняття пе-редбачені робочою програмою цієї дисципліни в обсязі 68 год. на се-местр (34...
Учебное пособие для ВУЗов. — М.: Академия, 2010. — 320 с. — ISBN 978-5-7695-6433-8. Рассмотрены основные результаты как в теоретической части, так и в части практического применения, накопленные к настоящему времени в области функционального и логического программирования. Показано, что оба эти подхода, относящиеся к парадигме декларативного программирования, позволяют получить...
Учебное пособие для ВУЗов. — М.: Академия, 2010. — 320 с. — ISBN 978-5-7695-6433-8. Рассмотрены основные результаты как в теоретической части, так и в части практического применения, накопленные к настоящему времени в области функционального и логического программирования. Показано, что оба эти подхода, относящиеся к парадигме декларативного программирования, позволяют получить...
Москва: б.и., 2009. — 136 с. Зачем программировать на Лого? Зачем программировать? Зачем программировать на Лого? Зачем читать книги о программировании на Лого? Предварительные замечания. Типы данных. Слова. Числа, они же слова. Списки. Команды, датчики, инструкции. Как нарисовать параболу. Пользовательские процедуры. Как общаться с пользователем. Переменные: локальные. Как...
МАИ. Факультет прикладной математики. Кафедра вычислительной математики и программирования. Подготовка к экзамену по курсу Логическое программирование Преподаватель: Сошников Д. В. 123 стр. Основы Парадигмы Логика предикатов 1-го порядка Семантика логики предикатов Исчисление предикатов 1-го порядка Понятие о полноте неразрешимость исчисления Нормальные формы Унификация Правила...
МАИ. Факультет прикладной математики. Кафедра вычислительной математики и программирования. Подготовка к экзамену по курсу Логическое программирование Преподаватель: Сошников Д. В. ~500 стр. Что такое логическое программирование Введение в логическое программирование Логика Резолюции Пролог и Меркурия Рекурсивные Структуры данных Отрицание как Failure Логических задач...
МАИ.
Факультет прикладной математики.
Кафедра вычислительной математики и программирования.
Объем: 111стр.
Содержание:
Парадигмы.
Системы логического программирования.
Логика и исчисление предикатов.
Логическое программирование как алгоритмическая модель.
Типизированное логическое программирование.
Языки программирование Prolog и Mercury.
Рекурсивные структуры данных....
Описанны на языке Пролог:
I. Предикаты работы со списками
Аргументы L1,L2,L3 обозначают списки, Е - некоторый элемент списка (тип элементов спи-ска произволен), N - порядковый номер элемента в списке.
1.append (L1, L2, L3) список L3 является слиянием (конкатенацией) списков L1 и L2;
2.reverse (L1, L2) L2 – перевернутый список L1;
3.delete_first (E, L1, L2) список L2 получен...
Описанны на языке Пролог:
Факты:
военный(фамилия("…"), звание("…")).
следующее_звание(A,B): - В является следующим званием по отношению к А
Правила:
одинаковое_звание(A,B): - военные А и В имеют одинаковое звание
разные(фамилия(Х), фамилия(Y))
субординация(младший(Мл), старший(Ст)): - военный с фамилией Мл младше по званию, чем военный с фамилией Ст
младшее_звание(R1,R2):...
УГАТУ, УТС, 3 курс, преподаватель- Хасанов А. Ю.
Задание:
сформировать список L1 из всех упорядоченных по убыванию подсписков списка L (без дублирования).
М.: МИЭТ, 2011. — 27 с.
Содержание:
Основы работы в среде турбо-Пролога
Составление простейшей Пролог-программы
Формирование правил
Рекурсия
Работа со\списками
Методические указание к выполнению лабораторных работ для студентов специальности 220400 – Программное обеспечение вычислительной техники и автоматизированных систем Оглавление Введение Ознакомление с оболочкой AMZI! Prolog. Изучение основ программирования на языке Пролог. Отношения между данными Использование рекурсивных правил и структурированных данных Работа со списками...
М.: Мир, 1988. — 348 с. Книга написана английским специалистом по программированию и знакомит читателей с фундаментальными идеями и методологией логического программирования. В ней много внимания уделено вопросам синтеза программ, реализации языков логического программирования и их применения. Материал тщательно отобран, приводится много примеров, облегчающих усвоение...
М.: Мир, 1988. — 348 с. — ISBN: 5-03-000490-4 Книга написана английским специалистом по программированию и знакомит читателей с фундаментальными идеями и методологией логического программирования. В ней много внимания уделено вопросам синтеза программ, реализации языков логического программирования и их применения. Материал тщательно отобран, приводится много примеров,...
М.: Мир, 1992. — 352 с., ил. В книге известных итальянских и австрийских специалистов систематически изложены подходы к построению дедуктивных баз данных, которые были разработаны с их участием в рамках европейских проектов по созданию новых поколений вычислительных систем. Особенность книги - удачное сочетание теоретических основ и технологии построения основных компонентов...
М.: Мир, 1992. — 352 с.: ил. В книге известных итальянских и австрийских специалистов систематически изложены подходы к построению дедуктивных баз данных, которые были разработаны с их участием в рамках европейских проектов по созданию новых поколений вычислительных систем. Особенность книги - удачное сочетание теоретических основ и технологии построения основных компонентов...
Иркутск: Изд-во ИГУ, 2013. — 107 с.
В пособии представлены лекционные материалы и лабораторные работы курса "Рекурсивно-логическое программирование": базовые термины искусственного интеллекта, задачи, методы и их свойства; основы рекурсивно-логического программирования на языке Пролог; типичные задачи, решение которых лаконично представляется как рекурсивные и переборные...
Складено згідно з програмою з курсу для студентів з спеціальності "Програмне забезпечення автоматизованих систем" і призначене для самостійної роботи студентами денної та заочної форми навчання
Приводится текст программы на Турбо-прологе, реализующей учебную экспертную систему, являющуюся продукционной системой, базирующаяся на правилах и служащую для определения страны по описанию флага.
Комментарии