Логическое программирование на примере языка Prolog - Программирование, компьютеры и кибернетика практическая работа

Логическое программирование на примере языка Prolog - Программирование, компьютеры и кибернетика практическая работа




































Главная

Программирование, компьютеры и кибернетика
Логическое программирование на примере языка Prolog

Знакомство с основами логического программирования на примере языка Prolog. Синтаксис его основных команд. Генеалогическое дерево с использованием предикатов. Хорновская логическая программа. Основные синтаксические объекты: атомы, константы и переменные.


посмотреть текст работы


скачать работу можно здесь


полная информация о работе


весь список подобных работ


Нужна помощь с учёбой? Наши эксперты готовы помочь!
Нажимая на кнопку, вы соглашаетесь с
политикой обработки персональных данных

Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.

Министерство образования и науки Российской Федерации
Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования
«ТОМСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ СИСТЕМ УПРАВЛЕНИЯ И РАДИОЭЛЕКТРОНИКИ» (ТУСУР)
Кафедра комплексной информационной безопасности электронно-вычислительных систем (КИБЭВС)
Знакомство с основами логического программирования на примере языка Prolog.
-Изучить теоретический материал о языках логического программирования.
-Изучить синтаксис основных команд языка Prolog.
-Задать генеалогическое дерево вида: я, брат, сестра, отец, мать, бабушка(мать мамы), дедушка (отец мамы), бабушка (мать отца), дедушка (отец отца), жена брата, племянник (сын брата или сестры), племянница (дочь брата или сестры), дядя (со стороны отца), тетя (со стороны отца), дядя (со стороны матери), дядя (со стороны матери), дочь дяди со стороны матери, дочь дяди со стороны отца, прадед (отец деда со стороны матери), прабабушка (мать деда со стороны матери), прадед (отец бабушки со стороны матери), прабабушка (мать бабушки со стороны матери).
-Данное дерево задать только с использованием предикатов - фактов «мать», «отец».
- Привести определение предикатов: родитель, потомок, предок, дядя (тетя), племянник, племянница, дед, родной(ая) брат(сестра), двоюродный(ая) брат(сестра), супруг.
Хорновская логическая программа состоит из набора хорновских фраз, которые в языке Пролог называются фактами и правилами.
Запросом к логической программе называется формула вида
Основные синтаксические объекты: атомы, константы и переменные. Константы состоят из атомов и чисел. Числа - целые и вещественные. Атомы - обозначения для других постоянных объектов предметной области. Атомы могут изображаться тремя различными способами:
- Последовательностью латинских букв, цифр, начинающейся со строчной буквы;
- Последовательностью, состоящей из специальных символов <…>|==>|…|&;
логический программирование синтаксис предикат
- Любыми последовательностями символов, заключенными в апострофы (в т.ч. и русскими буквами).
Переменные обозначаются любыми последовательностями латинских букв или цифр, начинающимися с большой буквы или символа подчеркивания.
родитель(Z,C):-мать(Z,C);отец(Z,C).
потомок(X,Y):-(отец(Y,X);мать(Y,X)).
потомок(X,Y):-(отец(Z,X);мать(Z,X)),потомок(Z,Y).
предок(X,Y):-(отец(X,Y);мать(X,Y)).
предок(X,Y):-(отец(X,Z);мать(X,Z)),предок(Z,Y).
дядя(Z,C):-((отец(Y,Z),отец(Y,X),отец(X,C),Z\=X);(отец(Y,Z),отец(Y,X),мать(X,C),Z\=X)),мужчина(Z).
тетя(Z,C):-((отец(Y,Z),отец(Y,X),отец(X,C),Z\=X);(отец(Y,Z),отец(Y,X),мать(X,C),Z\=X)),not(мужчина(Z)).
племянник(C,Z):-((отец(Y,Z),отец(Y,X),отец(X,C),Z\=X);(отец(Y,Z),отец(Y,X),мать(X,C),Z\=X)),мужчина(C).
племянница(C,Z):-((отец(Y,Z),отец(Y,X),отец(X,C),Z\=X);(отец(Y,Z),отец(Y,X),мать(X,C),Z\=X)),not(мужчина(C)).
дед(C,Z):-отец(C,Y),(отец(Y,Z);мать(Y,Z)).
родн_сестра(C,Z):-((отец(X,C),отец(X,Z)),(мать(Y,C),мать(Y,Z))),C\=Z,Z\=C,мужчина(C).
родн_сестра(C,Z):-((отец(X,C),отец(X,Z)),(мать(Y,C),мать(Y,Z))),C\=Z,Z\=C,not(мужчина(C)).
дв_брат(K,C):-((отец(Y,Z),отец(Y,X),(отец(X,K);мать(X,K)),(отец(Z,C);мать(Z,C)),Z\=X)),мужчина(K).
дв_сестра(K,C):-((отец(Y,Z),отец(Y,X),(отец(X,K);мать(X,K)),(отец(Z,C);мать(Z,C)),Z\=X)),not(мужчина(K)).
Были изучены основы логического программирования на языке Prolog.
Основы языка Visual Prolog. Введение в логическое программирование. Особенности составления прологов, синтаксис логики предикатов. Программы на Visual Prolog. Унификация и поиск с возвратом. Использование нескольких значений как единого целого. лекция [120,5 K], добавлен 28.05.2010
Разработка программы для поиска пути в лабиринте с возможностью задания входа и выхода, наглядное представление решений. Использование языка логического программирования Prolog. Данные и методы решения. Пользовательский интерфейс, листинг программы. реферат [14,3 K], добавлен 15.10.2012
Реализация экспертных систем любой сложности, решение любых головоломок и шарад с помощью языка логического программирования Prolog. Основные понятия в языке Prolog. Правила логического вывода и запросы. Процедуры логического вывода и принятия решений. курсовая работа [19,0 K], добавлен 24.05.2012
Общая характеристика и функциональные возможности языка логического программирования Prolog, а также систем SWI-Prolog и Visual Prolog. Формирование базы знаний относительно определения возможности трудоустройства студента и принципы реализации запросов. лабораторная работа [1,3 M], добавлен 07.10.2014
История возникновения и развития языка Prolog. Рассмотрение императивных и декларативных языков программирования. Элементы экспертной системы: база знаний, механизм вывода и система пользовательского интерфейса. Описание предикатов и предложений. дипломная работа [44,0 K], добавлен 11.05.2014
Нечеткая лингвистическая переменная. Конструктивное описание лингвистической переменной. Структура управляющей логики в виде вычислений с откатами. Наиболее заметные тенденции в истории развития языка программирования Prolog, основные элементы синтаксиса. контрольная работа [38,8 K], добавлен 17.05.2011
Изучение общей структуры языка программирования Delphi: главные и дополнительные составные части среды программирования. Синтаксис и семантика языка программирования Delphi: алфавит языка, элементарные конструкции, переменные, константы и операторы. курсовая работа [738,1 K], добавлен 17.05.2010
Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д. PPT, PPTX и PDF-файлы представлены только в архивах. Рекомендуем скачать работу .

© 2000 — 2021



Логическое программирование на примере языка Prolog практическая работа. Программирование, компьютеры и кибернетика.
Реферат по теме Функции управления (менеджмента)
Курсовая работа по теме Причины формирования и особенности становления Польского государства
Курсовая работа по теме Исследование рынка торгового оборудования Сибири
Реферат: Мерчандайзинг как программирование поведения покупателя
Курсовая работа по теме Конверсія як спосіб збагачення словникового складу мови
Курсовая работа: Судимость. Скачать бесплатно и без регистрации
На Дне Примеры Для Сочинения
Реферат по теме Теневая экономика в Казахстане
Курсовая работа по теме Вступление России в ВТО
Курсовая работа по теме Анализ лизинга как инструмента финансирования инвестиционных проектов на предприятии ООО 'Для Вас'
Банк Рефератов По Экологии
Реферат по теме Биологическое значение белка
Реферат по теме Погляди сучасників на проблеми економічного аналізу
Титульник Реферата Вгу
Курсовая работа по теме Принципы разделения властей как основа построения системы органов правового государства
Сочинение: Сочинение про мою классную руководительницу
Курсовая работа по теме Проектирование и расчет трассы радиорелейной линии
Курсовая Работа На Тему Линии Задержки На Пав
Курсовая работа по теме Уршакское месторождение
Основные Разделы Диссертации
Разработка бизнес-плана проекта освоения нового вида деятельности (салона красоты) - Менеджмент и трудовые отношения дипломная работа
Учет денежных средств на предприятии - Бухгалтерский учет и аудит контрольная работа
Методика преподавания физики - Педагогика шпаргалка


Report Page