Адаменко А., Кучуков А. Логическое программирование и Visual Prolog

  • формат djvu
  • размер 13,28 МБ
  • добавлен 1 апреля 2015 г.
Учебное пособие, 992стр, илюстрированная, издательство "БХВ-Петербург", 2003г. Математические основы логического программирования Логическое программирование и искусственный интелект Основы пролога Программирование на Visual Prolog Разработка графического интерфейса пользователя Возможности визуальной среды разработки

Акилова И.М. Программирование на Турбо-Прологе

  • формат doc
  • размер 66.31 КБ
  • добавлен 08 декабря 2009 г.
Учебное пособие по дисциплине Методы искусственного интеллекта для студентов специальностей 2202 и 0719 очной формы обучения. / Благовещенск, Амурский гос. ун – т. – 2001. – с.

Большакова Е.И. Практикум на языке программирования Пролог

  • формат doc
  • размер 87.5 КБ
  • добавлен 03 марта 2009 г.
Методическое пособие. В данном методическом пособии дается описание заданий практикума на языке программирования Пролог для студентов 4 курса факультета ВМиК МГУ. Зада-ния разработаны в поддержку основных курсов «Математическая логика» и «Искусственный интеллект». Приводятся подробные методические пояснения и рекомендации. Методическое пособие, содержащее описание заданий практикума на языке программирования Пролог, с подробными методическими поя...

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

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

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

  • формат chm
  • размер 658.07 КБ
  • добавлен 25 января 2012 г.
Пер. с англ. -М.: Мир, 1990. - 560 с., ил. Электронную версию книги создал Иванов Виктор Михайлович. Книга известного специалиста по программированию (Югославия), содержащая основы языка Пролог и его приложения для решения задач искусственного интеллекта. Изложение отличается методическими достоинствами - книга написана в хорошем стиле, живым языком. Книга дополняет имеющуюся на русском языке литературу по языку Пролог. Для программистов разной...

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

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

Бураков М.В. Язык логического программирования ПРОЛОГ

  • формат pdf
  • размер 184.3 КБ
  • добавлен 15 марта 2008 г.
Методические указания. Приводится описание основных конструкций языка логического программирования ПРОЛОГ. Методические указания предназначены для студентов, изучающих дисциплину “Системы с искусственным интеллектом”.

Доорс Дж., Рейблейн А.Р., Вадера С. Пролог - язык программирования будущего

  • формат djvu
  • размер 1.02 МБ
  • добавлен 03 июня 2010 г.
1990 г. Настоящее введение в Пролог содержит описание подмножества языка, общего для многих реализаций. Рассмотрены синтаксические элементы и структуры языка, арифметические функции, рекурсия, структуры данных (списки и деревья), операторы и процедуры, встроенные функции для отладки программ и работа с БД. Книга может быть рекомендована как учебник и как компактное справочное издание.

Доорс Дж., Рейблейн А.Р., Вадера С. Пролог - язык программирования будущего

  • формат pdf
  • размер 8,78 МБ
  • добавлен 07 июня 2016 г.
Пер. с англ. — М.: Финансы и статистика, 1990. — 144 с. Настоящее введение в Пролог содержит описание подмножества языка, общего для многих реализаций. Рассмотрены синтаксические элементы и структуры языка, арифметические функции, рекурсия, структуры данных (списки и деревья), операторы и процедуры, встроенные функции для отладки программ и работа с БД. Книга может быть рекомендована как учебник и как компактное справочное издание. Для программис...

Ефимова Е.А. Основы программирования на языке Visual Prolog

  • формат pdf
  • размер 19.57 МБ
  • добавлен 30 апреля 2016 г.
— 2-е изд., испр. — М.: НОУ "ИНТУИТ", 2016. — 265 с. В курсе изучается логическое программирование и язык Пролог. В качестве реализации языка Пролог используется современная версия языка Visual Prolog. Предназначен для начинающих. Рассматриваются основные теоретические понятия логического программирования, а также приемы и методы программирования на языке Пролог. Изучаются основы программирования на языке Visual Prolog 7.x. Изложение сопровождае...

Ин Ц., Соломон Д. Использование Турбо-Пролога

  • формат txt
  • размер 303.94 КБ
  • добавлен 22 марта 2007 г.
Книга посвещена основам логического программирования. Она представляет собой руководство по применению системы программирования Турбо-Пролог. В качестве примеров рассматриваются разработка естественно-языковых и экспертных систем, многооконный интерфейс с пользователем, машинная графика.rn

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

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

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

  • формат fb2
  • размер 1.48 МБ
  • добавлен 11 октября 2011 г.
Книга английских специалистов, содержащая описание основ логического программирования и особенностей языка Пролог – базового языка ЭВМ пятого поколения. Области применения этого языка связаны с разработкой экспертных систем, интеллектуальных баз данных, обработкой естественного языка, разработкой компиляторов ЭВМ. Книга полезна для первого ознакомления с языком Пролог.rn

Контрольные работы - Пролог

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

Коста Э. Visual Prolog 7.1 для начинающих

  • формат pdf
  • размер 4.81 МБ
  • добавлен 03 марта 2009 г.
Эта книга начиналась как личный проект. Моим намерением было просто написать руководство по логическому программированию для моего сына. Однако успех книги был огромным, и я получил множество предложений по улучшению текста или кода, а также пожеланий продолжать работу. Руководство по логическому программированию, 210 с. 2008 год! Цвет, отличное качество, интересное и доступное изложение материала по шагам. Как для себя! Перевод с английского (ру...

Крицкий С.В., Марина И.М. и др. Функциональное и логическое программирование Методическое пособие Часть 2 Язык программирования Пролог

  • формат pdf
  • размер 710.74 КБ
  • добавлен 13 июля 2011 г.
Белорусский государственный университет информатики и радиоэлектроники, 2006, 28с. Для студентов специальности I-40 01 01 "Программное обеспечение информационных технологий" В 4-х частях Часть 2 Во второй части методического пособия изложены основы логического программирования на примере языка Пролог. Пособие предназначено для студентов дневной и дистанционной форм обучения.

Курсовой проект - Написание программ на языке Prolog

Курсовая работа
  • формат doc
  • размер 77.95 КБ
  • добавлен 02 мая 2007 г.
Знакомство с основами логического программирования (Prolog). Написать программу, реализующую калькулятор на четыре арифметических действия (без скобок). Для удобства работы реализовать меню с соответствующими пунктами. Подсчитать, сколько раз встречается некоторая буква в строке. Строка и буква должны вводиться с клавиатуры.

Лабораторная работа - Анализ естественных языков (DCG-грамматики) на Prolog

Лабораторная
  • формат txt, pdf
  • размер 398.88 КБ
  • добавлен 03 ноября 2009 г.
Познакомиться на практике с методами анализа естественно-языковых текстов в системах логического программирования (Пролог, Mecury), реализовать в соответствии с вариантом задания несложный фрагмент естественного-языкового интерфейса к модельной задаче и протестировать его на ряде примеров. Реализовать разбор фраз языка (вопросов), выделяя в них неизвестный объекты Запос:? - an_q([Кто, любит, шоколад, ?],X);? - an_q([Где, лежат, деньги, ?],X);?...

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

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

Лабораторная работа - Организация многооконных меню и работа с файлами в турбо-прологе

Лабораторная
  • формат doc
  • размер 1.95 МБ
  • добавлен 19 июня 2011 г.
Создать программу работы с файлами целых чисел, реализующую следующие функции обработки файлов: а) создание файла; б) добавление элемента в файл; в) модификацию данных в файле; г) удаление элемента в файл; д) просмотр файла (вывод на экран); ж) найти сумму положительных элементов файла.

Лабораторная работа - Поиск в пространстве состояний на языке Prolog

Лабораторная
  • формат pdf, txt
  • размер 540.87 КБ
  • добавлен 03 ноября 2009 г.
Написать и отладить программу решения задачи искусственного интеллекта, используя технологию поиска в пространстве состояний. Крестьянину нужно перевезти через реку волка козу капусту Но лодка такова, что в ней может поместиться только крестьянин, а с ним или один волк, или одна коза, или одна капуста. Но если оставить волка с козой, то волк съест козу, а если оставить козу с капустой, то коза съест капусту. Как перевез свой груз кр...

Лабораторная работа - Работа с динамическими базами данных в Турбо-Прологе

Лабораторная
  • формат doc
  • размер 38.5 КБ
  • добавлен 19 июня 2011 г.
Динамическая база содержит информацию о результатах сессии данной группы студентов в виде утверждений следующих видов: математика, физика, химия, информатика (Ф. И. О., оценка). Предполагается, что в группе N студентов, и все они имеют оценки по всем предметам (5,4,3,2). В динамической базе данных (ДБД) для каждого студента может храниться информация об одной или нескольких оценках (т. е. несколько фактов) по каждому предмету, что связано с возмо...

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

Лабораторная
  • формат zip
  • размер 694.84 КБ
  • добавлен 25 октября 2009 г.
МАИ. → Факультет прикладной математики. Кафедра вычислительной математики и программирования. Написать и отладить Пролог-программу (используя любую систему) решения логической задачи в соотвестсвии с вариантом. Один из пяти братьев разбил окно. Андрей сказал: Это или Витя, или Коля . Витя сказал: Это сделал не я и не Юра . Дима сказал: Нет, один из них сказал правду, а другой неправду . Юра сказал: Нет, Дима ты не прав . Их отец, кото...

Лебедева Н.С. Методическое пособие по программированию на Turbo Prolog

  • формат pdf
  • размер 659.49 КБ
  • добавлен 27 января 2009 г.
Данное учебное пособие предназначено для студентов компьютерных специальностей, изучающих курс «Логическое программирование». Рассмотрены основы логического программирования. Дается описание, синтаксические элементы и основы программирования на Турбо Прологе. Рассмотрена работа с базами данных и с системными предикатами, необходимыми для программирования. Изложение иллюстрируется примерами программ. Содержатся варианты контрольных заданий для вып...

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

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

Лекции по прологу

Статья
  • формат doc
  • размер 1,56 МБ
  • добавлен 09 мая 2016 г.
В настоящей главе рассматриваются основные отличия языка Visual Prolog от реализаций языка Пролог, удовлетворяющих стандарту (т. н. стандартного Пролога), связанные с унификацией термов. Кроме этого, приводится пример использования интерпретатора PIE в программе на языке Visual Prolog.

Макаллистер Дж. Искусственный интеллект и Пролог на микроЭВМ

  • формат djvu
  • размер 4.99 МБ
  • добавлен 28 октября 2010 г.
Пер с англ. А. В. Чукашова, М. В. Сергиевского; Под ред. М. В. Сергиевского, —М.: Машиностроение, 1990. —240 с.: ил. В книге английского автора рассматривается использование наиболее популярного языка логического программирования для построения баз данных, баз знаний и экспертных систем. Книга содержит сравнительно мало теоретического материала и ориентирована в основном на практическое использование Пролога. Достаточно подробно описаны возможнос...

Малпас Д. Реляционный язык пролог и его применение

  • формат djvu
  • размер 5.51 МБ
  • добавлен 16 января 2009 г.
Описывается реляционный язык программирования Пролог, рассматривается методика программирования и конкретные приложения. Содержит большое число удачно подобранных примеров, иллюстрирующих суть обсуждаемых явлений, подробный предметный указатель, глоссарий. Для специалистов в области вычислительной техники и информатики. 465 страниц.

Марков В.Н. Современное логическое программирование на языке Visual Prolog 7.5

  • формат pdf
  • размер 6.41 МБ
  • добавлен 03 февраля 2017 г.
СПб.: БХВ-Петербург, 2016. — 544 с.: ил. — (Учебная литература для вузов). — ISBN 978-5-9775-3487-1. В учебнике излагается полный набор классических и новейших инструментов логического программирования, а также парадигмы функционального, обобщен­ ного, императивного и объектно-ориентированного программирования, органиче­ски вошедшие в Visual Prolog 7.5. Рассматриваются основные способы представ­ления и обработки графов, деревьев и массивов, инстр...

Марселлус Д. Программирование экспертных систем на Турбо Прологе

  • формат djvu
  • размер 2.27 МБ
  • добавлен 22 сентября 2016 г.
М.: Финансы и статистика, 1994. — 256 с.: ил. — ISBN 5-279-00613-0. Книга продолжает ряд публикаций издательства, рассчитанных на практическое освоение программистами и пользователями технологии экспертных систем (ЭС). На конкретных примерах объяснены идеи проектирования и архитектура всех основных блоков ЭС, а также способы их реализации на Турбо Прологе. Для программистов, желающих создавать интеллектуальные программы и экспертные системы. Пред...

Набебин А.А. Логика и Пролог в дискретной математике

  • формат djvu
  • размер 3,56 МБ
  • добавлен 10 июня 2016 г.
— М.: Изд-во МЭИ, 1996. — 452 с. — ISBN 5-7046-0162-6. Излагаются основные понятия математической логики и формального вывода, теории графов, комбинаторики, теории конечных автоматов в ее связи с монадической логикой. Рассматривается резолютивный вывод и на его основе вводится универсальный язык программирования Пролог. Программируются некоторые алгоритмы на графах, в комбинаторике, в теории конечных автоматов при переходе от формул монадической...

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

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

Программа - GNUProlog + руководство пользователя

program
  • формат pdf
  • размер 4.12 МБ
  • добавлен 02 марта 2009 г.
Современная программа для решения задач логического программирования GNUProlog с подробным руководством пользователя (2007 г. 217стр. на английском)!

Программа - SWIProlog 5.6 + руководство пользователя

program
  • формат pdf
  • размер 8.09 МБ
  • добавлен 02 марта 2009 г.
Современная программа, позволяющая решить задачи логического программирования, с руководством юзера на английском - год выхода 2008!

Программа - Visual Prolog 7.2

program
  • формат msi
  • размер 18.9 МБ
  • добавлен 02 марта 2009 г.
Новейшая версия программы из серии Visual Prolog. Дружественный интерфейс и высокая интеллектуальность. Приятной работы!rn

Программа - VisualProlog 5.2

program
  • формат txt
  • размер 17.8 МБ
  • добавлен 02 марта 2009 г.
Популярная программная оболочка, основанная на языке логического программирования Пролог, - VisualProlog 5.2. Дружественный интерфейс, хорошие функциональные возможности. Приятного программирования на Visual Прологе!rn

Программа Borland Turbo-Prolog 2.0

program
  • формат exe
  • размер 663.66 КБ
  • добавлен 19 марта 2004 г.
Пакет программ для выполнения лабораторных работ по логическому программированию.rn

Программирование в системе Пролог-Д

Курсовая работа
  • формат doc
  • размер 296,13 КБ
  • добавлен 12 мая 2016 г.
Университет машиностроения (МАМИ), Москва, Будылина Е.А., вариант 0, 25 стр, 2012 г, дисциплина Интеллектуальные информационные системы. Введение Логические основы работы системы Пролог-Д Построение базы знаний Факты и правила Арифметика и другие встроенные предикаты в Прологе-Д Рекурсия Графические возможности системы Пролог-Д Обработка списков Заключение Список Литературы Решенные задачи по каждому разделу: Опишите на языке логики первого пор...

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

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

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

Реферат
  • формат docx
  • размер 679.52 КБ
  • добавлен 08 ноября 2010 г.
История создания и развития языка Prolog. Сферы использования. Среда разработки "SWI-Prolog". Среда разработки "Тurbo Prolog". Среда разработки " Visual Prolog ". Количество страниц 35.rn

Системы искусственного интеллекта. Программирование в Visual Prolog

Шпаргалка
  • формат doc
  • размер 457,15 КБ
  • добавлен 17 сентября 2014 г.
Шпаргалка СИИ Системы искусственного интеллекта. Программирование в среде Visual Prolog. ДНУ им Олеся Гончара ФФЭКС группа КС (компьютерные науки) преподаватель Егоров 51 вопрос Вопросы: Поняття "штучний інтелект". Тест Тьюрінга. Залежності, які можуть бути виявлені методами Data Mining їх характеристика. Методи (засоби) Data Mining. (Стисло опишіть сутність кожного метода). Основні відмінності баз даних (БД) від баз знань (БЗ). Етапи розв'язку з...

Солдатова О.П., Лёзина И.В. Логическое программирование на языке Visual Prolog

  • формат pdf
  • размер 1.04 МБ
  • добавлен 24 октября 2010 г.
Учебное пособие: Самара, 2010. - 81 с. Предназначено для студентов направления «Информационные технологии» и специальности «Автоматизированные системы обработки информации и управления», и может быть использовано при изучении дисциплин «Логическое программирование», «Интеллектуальные системы», «Системы искусственного интеллекта» и «Основы экспертных систем». Содержание Предисловие 1 Логическое программирование и аксиоматические системы 1....

Солдатова О.П., Лёзина И.В. Логическое программирование на языке Visual Prolog

  • формат djvu
  • размер 633,57 КБ
  • добавлен 14 мая 2012 г.
Учебное пособие –Самара: СНЦ РАН, 2010 –81 с., ил. ISBN – 978-593424-486-7 Данное пособие предназначено для студентов направления 010400 «Информационные технологии» и специальности 230102 «Автоматизированные системы обработки информации и управления», и может быть использовано при изучении дисциплин «Логическое программирование», «Интеллектуальные системы», «Системы искусственного интеллекта» и «Основы экспертных систем». Содержание Предисловие Л...

Стерлинг Л., Шапиро Э. Искусство программирования на языке Пролог (djvu)

  • формат djvu
  • размер 3.97 МБ
  • добавлен 05 июня 2008 г.
В книге излагаются основы логического программирования. Дается описание языка Пролог. Обсуждаются ввод-вывод, приемы и средства организации интерактивных программ, вопросы недетерминированного программирования, применения структур данных, допускающих накопление данных, техника граматического разбора, программирования метаинтерпретаторов. Изложение удачно иллюстрируется примерами программ. Рассматриваются некоторые приложения Пролога: программиров...

Стобо Дж. Язык программирования ПРОЛОГ

  • формат djvu
  • размер 3,85 МБ
  • добавлен 01 июня 2016 г.
Перевод с англ. Н.Г. Волченкова, С.Г. Григорьева. Под редакцией Н.Г. Волченкова. — М.: Радио и Связь, 1993. — 368 с.: ил. — ISBN 5-256-00921-4. В книге автора из США содержится большой набор методов программирования, которые можно рассматривать как инструментарий для решения самых различных задач программирования. Детально представлен процесс разработки программных систем, начиная от анализа и кончая реализацией и тестированием. В приложении даны...

Тарков М.С. Программирование на Турбо-Прологе

Практикум
  • формат pdf
  • размер 258.2 КБ
  • добавлен 04 декабря 2010 г.
Методические указания. - Новосибирск: СибГУТИ, 1999. - 37 с. Методические указания предназначены для студентов инженерно-технических факультетов, изучающих логическое программирование в 4-м семестре. Они содержат необходимые сведения по программированию на языке Турбо-Пролог, задачи для контрольных работ и рекомендуемую литературу.

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

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

Хабаров С.П. Интеллектуальные информационные системы. PROLOG - язык разработки интеллектуальных и экспертных систем

  • формат pdf
  • размер 3,75 МБ
  • добавлен 12 декабря 2016 г.
Учебное пособие. — СПб.: СПбГЛТУ, 2013. — 138 с. Представлено кафедрой информационных систем и технологий. В пособии дана характеристика современного этапа развития языка Prolog и его возможностей для разработки интеллектуальных систем. Приведены общие сведения о конструкции языка и описан процесс разработки программ на этом языке. Рассмотрены наиболее распространенные среды программирования: PIE, TuboProlog, SWI-Prolog и Visual-Prolog. Большое ч...

Шпаргалка - Функционально-логическое программирование Prolog, Lisp

pottee
  • формат doc
  • размер 91.3 КБ
  • добавлен 16 марта 2011 г.
ШПАРГАЛКА! Понятия предиката. Алгоритмы унификации. Структура пролог-программы. Организация повторов. Ветвление-выбор. Стандартные математические предикаты. Списки и операции над ними. Сортировка списков. Выборка элементов из списков. Слияние списков. Множества в Прологе. Реализация деревьев в Прологе. Функциональный подход программирования. Методы обработки списков (ЛИСП). Определение универсальной функции. Предикаты и истинность в ЛИСПе. Отобра...

Шпоры по Прологу

pottee
  • формат doc
  • размер 83 КБ
  • добавлен 10 января 2010 г.
1. Язык логического программирования Пролог. Концепция логического программирования. 2. Основы программирования на Турбо-Прологе: структура программы, основные типы данных, работа с секцией domains. 3. Основы программирования на Турбо-Прологе: структура программы, внутренние и внешние цели. 4. Основы программирования на Турбо-Прологе: структура программы, предикаты, факты, правила. 5. Основы программирования на Турбо-Прологе: методы и средства у...

Шрайнер П.А. Основы программирования на языке Пролог

  • формат pdf
  • размер 17,72 МБ
  • добавлен 04 января 2017 г.
2-е изд. — М.: Интуит, 2016. — 214 c. Курс посвящен изучению основ языка логического программирования Пролог. Всюду, где возможно, общие принципы программирования на Прологе изучаются без привязки к конкретной реализации. При выполнении практических заданий, планируется использовать Турбо Пролог или PDC Пролог. На взгляд автора, это наиболее используемые и распространенные версии Пролога у нас в стране. Кроме всего прочего, эти версии не предъявл...

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

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

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

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

Blackburn P. Learn Prolog Now!

  • формат pdf
  • размер 488.86 КБ
  • добавлен 03 марта 2009 г.
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 стр. о ПРОЛОГЕ с примерами листинга программ и подробными комментариями (для знающих английский)!

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...

Bratko Ivan. Prolog Programming for Artificial Intelligence

  • формат pdf
  • размер 29.76 МБ
  • добавлен 05 января 2012 г.
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 implementation of AI techniques. Prolog has its roots in logic, however the m...

Costa E. Visual Prolog 7.2 for Tyros

  • формат pdf
  • размер 1.67 МБ
  • добавлен 03 марта 2009 г.
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 - от знакомства с интерфейсом до решения серьезных задач с пояснениями и приведенными листингами - (25 глав 256 стр. на анг...

Prolog

Лабораторная
  • формат doc
  • размер 719,43 КБ
  • добавлен 14 февраля 2013 г.
УГАТУ, Уфа/Россия, Кафедра технической кибернетики, Хасанов А.Ю., 15 стр., 3 курс. Дисциплина "Логическое программирование" 5 отчетов Основы программирования на Турбо-Прологе. Вариант №21, Представление и обработка списков. Вариант №18, Использование структур. Вариант 10, Организация многооконных меню и работа с файлами в Турбо-Прологе. Вариант 22, Работа с динамическими базами данных в Турбо-Прологе. Вариант 9.

Thomas W. de Boer. A Beginners Guide to Visual Prolog 7.1

  • формат pdf
  • размер 2.99 МБ
  • добавлен 09 сентября 2009 г.
Groningen. 2008 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.

TuProlog Guide

  • формат html, jar, pdf
  • размер 2.05 МБ
  • добавлен 03 марта 2009 г.
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 год.