Лабораторная работа - Решение простых логических задач на языке Prolog

Лабораторная

формат zip
размер 694.84 КБ
добавлен 25 октября 2009 г.

МАИ. →
Факультет прикладной математики.
Кафедра вычислительной математики и программирования.

Написать и отладить Пролог-программу (используя любую систему) решения логической задачи в соотвестсвии с вариантом.

Один из пяти братьев разбил окно.
Андрей сказал: Это или Витя, или Коля .
Витя сказал: Это сделал не я и не Юра .
Дима сказал: Нет, один из них сказал правду, а другой неправду .
Юра сказал: Нет, Дима ты не прав .
Их отец, которому, конечно можно доверять, уверен, что не менее трех братьев сказали правду.
Кто разбил окно?

Работа выполнена на языке Prolog (стандарт ISO) в системе Strawberry-prolog
Отчет в формате — PDF
Исходники отчета — LaTeX2e

Смотрите также

Братко И. Алгоритмы искусственного интеллекта на языке Prolog

формат pdf
размер 21.05 МБ
добавлен 11 февраля 2010 г.

3-е издание. : Пер. с англ. — М. : Издательский дом "Вильяме", 2001. 640 с. : ил. В книге известного специалиста по программированию приведены основные сведения о языке Prolog, описан процесс разработки программ на этом языке и показано применение языка Prolog во многих областях искусственного интеллекта, включая решение задач и эвристический поиск, программирование в ограничениях, представление знаний и экспертные системы, планирование, машинно...

Курсовой проект - Экспертная система

Курсовая работа

формат doc
размер 115.5 КБ
добавлен 22 декабря 2010 г.

НГТУ Курсовой проект на языке пролог (Prolog). Экспертная система по определнию химического элемента по химическим и физическим свойствам Работа имеет необходимый интерфейс, базу знаний элементов. Выводимый текст: транслит

Лабораторная работа - Ознакомление с языком программирования Prolog

Лабораторная

формат doc, odt, pdf, txt
размер 168.32 КБ
добавлен 03 ноября 2009 г.

Цель: Первоначальное ознакомление с выбранной системой программирования на языке Пролог, реализация предикатов обработки списков в различных представлениях. Задача: 1. Ознакомится с одной из систем программирования на языке Пролог на персональной или мини-ЭВМ (J#, GNU Prolog, BinProlog, Cprolog, AMZI Prolog, Visual Prolog, TurboProlog, JLog или др. ), освоить операции загрузки простейших пролог-программ и формулирования запросов. 2. Проверить н...

Лабораторная работа №1

Лабораторная

формат doc
размер 84.5 КБ
добавлен 01 декабря 2008 г.

«Ознакомление со средой программирования Visual Prolog 5.2. Логический вывод и логическое следствие. Унификация и сопоставление».Содержит кратко теорию и выполненую лабораторную работу.

Лабораторная работа №1

Лабораторная

формат doc
размер 4.69 КБ
добавлен 19 ноября 2008 г.

Отчет по лабораторной работе на тему: "Основы работы в системе Visual prolog 5.2. ". Содержит листинг программы.rn

Лабораторная работа №6

Лабораторная

формат doc
размер 60 КБ
добавлен 01 декабря 2008 г.

«Разработка экспертных систем (с демонстрацией поиска с возвратом, использованием БД и предиката not). Кратко теория и лабораторная работа на Visual Prolog 5/2

Лабораторная работа №7

Лабораторная

формат doc
размер 48.5 КБ
добавлен 01 декабря 2008 г.

«Файловая система Visual Prolog и обработка строк». Кратко теория и лабораторная работа

Реферат - История создания и развития языка Prolog

Реферат

формат docx
размер 679.52 КБ
добавлен 08 ноября 2010 г.

История создания и развития языка Prolog. Сферы использования. Среда разработки "SWI-Prolog". Среда разработки "Тurbo Prolog". Среда разработки " Visual Prolog ". Количество страниц 35.rn

Хачатрян В.Е., Лыхин Е.В., Шатров Д.В. Логическое программирование

Практикум

формат doc
размер 160.5 КБ
добавлен 17 октября 2010 г.

Методические указание к выполнению лабораторных работ для студентов специальности 220400 – Программное обеспечение вычислительной техники и автоматизированных систем Оглавление Введение Лабораторная работа № 1. Ознакомление с оболочкой AMZI! Prolog. Изучение основ программирования на языке Пролог. Отношения между данными Лабораторная работа № 2. Использование рекурсивных правил и структурированных данных Лабораторная работа № 3. Работа со спи...

Bramer M. Logic Programming with Prolog

формат pdf
размер 828.06 КБ
добавлен 03 января 2011 г.

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 languages used by researchers in Artificial Intelligence. Logic Progra...