Логическое программирование
Контрольная работа
  • формат doc
  • размер 20.48 КБ
  • добавлен 08 июля 2010 г.
Контрольные работы - Пролог
Определить значение истинности логического выражения
Используя двухместные предикаты сестра ( *, * ), мать ( *, * ) или
отец ( *, * ), составить правило, определяющее двухместный предикат
тетя ( *, * ).
Представлена база данных о родственниках, составить запросы, позволяющие определить имена отцов, матерей, бабушек и дедушек.
Составить программу на Турбо Прологе для определения истинности логической формулы.
Остальные два варианта - аналогичные.
В составе архива - программы на Прологе.
Смотрите также

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

  • формат fb2
  • размер 3.52 МБ
  • добавлен 11 октября 2011 г.
Книга известного специалиста по программированию (Югославия), содержащая основы языка Пролог и его приложения для решения задач искусственного интеллекта. Изложение отличается методическими достоинствами - книга написана в хорошем стиле, живым языком. Книга дополняет имеющуюся на русском языке литературу по языку Пролог. Для программистов разной квалификации, специалистов по искусственному интеллекту, для всех изучающих программированиеrn

Клоксин У., Меллиш К. Программирование на языке Пролог

  • формат djvu
  • размер 3.19 МБ
  • добавлен 11 февраля 2009 г.
Книга английских специалистов, содержащая описание основ логического программирования и особенностей языка Пролог - базового языка ЭВМ пятого поколения. Области применения этого языка связаны с разработкой экспертных систем, интеллектуальных баз данных, обработкой естественного языка, разработкой компиляторов ЭВМ. Книга полезна для первого ознакомления с языком Пролог. Для программистов и пользователей ЭВМ. Оглавление: Глава 1. Введение Глава 2....

Лабораторные работы на языке Пролог

Лабораторная
  • формат doc
  • размер 242.5 КБ
  • добавлен 27 февраля 2011 г.
6 лабораторныйх работ на языке Пролог с полными исходниками и результатами: Поиск с возвратом; Рекурсии; Обработка списков; Деревья; Базы данных; Строки и файлы.

Лекции основы языка логического программирования Пролог

Статья
  • формат pdf
  • размер 2.24 МБ
  • добавлен 30 октября 2009 г.
История возникновения и развития Пролога. Японский проект ЭВМ пятого поколения. Императивные и декларативные языки программирования. Области использования Пролога. Пролог - язык начального обучения программированию. Преимущества и недостатки языка Пролог.

Лекции. Логическое программирование

Статья
  • формат doc
  • размер 97.5 КБ
  • добавлен 01 апреля 2010 г.
Особенности языка Пролог. Правила сопоставления термов в системе Пролог. Общие принципы поиска ответов на вопросы системой Пролог. Объекты данных. Структурированные объекты. Структура программы. Арифметические выражения. Сравнение результатов арифметических выражений. Работа с файлами. Списки. Рекурсивное определение списка. Работа со списками. Проверка типов термов. Операции с базами данных.

Николаев В.Г., Евсеева О.Н., Ярушкина Н.Г. Программирование на языке Турбо-Пролог 2.0

  • формат pdf
  • размер 320.59 КБ
  • добавлен 21 октября 2010 г.
Учебное пособие /В. Г. Николаев, О. Н. Евсеева, Н. Г. Ярушкина; Под ред. О. Н. Евсеевой. - Ульяновск: УлГТУ, 1995. - 64 с. В пособии приводятся основные приемы программирования на языке инструментальной системы Турбо-Пролог (версии 2. 0) для персональных ЭВМ, программно-совместимых с компьютерами IВМ РС/ХТ (АT) фирмы IВМ; стандартные библиотечные предикаты этой системы; описание интерфейса языков Турбо-Пролог и Турбо-Си при создании прикладных си...

Пролог: Логическое программирование

  • формат pdf
  • размер 174.12 КБ
  • добавлен 05 ноября 2007 г.
Теоретические принципы ПРОЛОГа. Структура программы на ПРОЛОГе. Описание арифметических операций. Запросы к ПРОЛОГ-программе. Управление процессом решения задачи. Использование предиката fail. Использование предиката cut. Использование рекурсии в ПРОЛОГе . Использование списков. Решение логических задач. Базы данных и знаний на ПРОЛОГе. Задания для самостоятельной работы. Вопросы для самопроверки.

Терехин В.В. Турбо Пролог, учебное пособие

  • формат pdf
  • размер 925.16 КБ
  • добавлен 27 января 2009 г.
Начала работы на Турбо-Прологе: пакет системы Турбо-Пролог. Основные понятия языка Турбо-Пролог: декларативные и императивные языки, управление программой, внутренние подпрограммы унификации Турбо-Пролога. Основы программирования на Турбо-Прологе: структура программ Турбо-Пролога, предикаты и утверждения, арифметика в Турбо-Прологе. Повторение и рекурсия: программирование повторяющихся операций, повторение и откат, методы повторения, методы орган...

Язык логического программирования Пролог

  • формат doc, txt
  • размер 490.45 КБ
  • добавлен 03 марта 2009 г.
Приводится описание основных конструкций языка логического программирования ПРОЛОГ, используемого при разработке экспертных систем и баз знаний. Иллюстративные примеры позволяют получить представление о приемах построения логических программ. Предлагаемые для самостоятельного решения задачи, служат для накопления практического опыта разработки программ. История Пролог. КраткаЯ характеристика Языка ПРОЛОГ. Общие сведения о языке Пролог. Структура...

Янсон А. Турбо-Пролог в сжатом изложении

  • формат djvu
  • размер 569.67 КБ
  • добавлен 03 июня 2010 г.
1991 г. В книге специалиста из ФРГ методически удачно в компактной форме дается информация, необходимая для практической работы в системе Турбо-Пролог на персональных ЭВМ типа IBM PC. В книге содержатся описания команд основного меню, команд компилятора и редактора. Кроме того, рассмотрены стандартные предикаты и приведены примеры их использования.