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

формат pdf
размер 710.74 КБ
добавлен 13 июля 2011 г.

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

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

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

формат doc
размер 87.5 КБ
добавлен 03 марта 2009 г.

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

Кичкайло Т.А., Тушев А.Н. Функциональное и Логическое Программирование

формат pdf
размер 4.46 МБ
добавлен 04 марта 2011 г.

Учебное пособие. - Алт. гос. техн. ун-т им. И. И. Ползунова. Центр дистанционного обучения. Барнаул: 1999. - 148с. Данное учебное пособие предназначено для дистанционного изучения дисциплины «Функциональное и логическое программирование». Рассматриваются вопросы программирования на языке Лисп, применение этого языка для обработки математических выражений в системе Reduce-З и применение Лиспа для автоматического построения чертежей в системе Авток...

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

формат pdf
размер 659.49 КБ
добавлен 27 января 2009 г.

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

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

Статья

формат pdf
размер 2.24 МБ
добавлен 30 октября 2009 г.

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

Мурашко И.А., Марина И.М. Методическое пособие по курсу Функциональное и логическое программирование Часть 1 Язык программирования Лисп

формат doc
размер 305.5 КБ
добавлен 12 июля 2011 г.

Белорусский государственный университет информатики и радиоэлектроники, 2002, 27с. Для студентов специальности Т10.02.00 "Программное обеспечение информационных технологий" Часть 1 Язык программирования Лисп В методическом пособии изложены основы функционального программирование на примере языка Лисп. Приведены сведения о системе программирования muLisp и описаны основные функции языка Лисп.rn

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

формат pdf
размер 320.59 КБ
добавлен 21 октября 2010 г.

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

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

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

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

Сошников Д.В. Лекции по ЛП. Слайды

формат pdf
размер 21.9 МБ
добавлен 08 октября 2009 г.

МАИ. Факультет прикладной математики. Кафедра вычислительной математики и программирования. Подготовка к экзамену по курсу Логическое программирование Преподаватель: Сошников Д. В. ~500 стр. Что такое логическое программирование Введение в логическое программирование Логика Резолюции Пролог и Меркурия Рекурсивные Структуры данных Отрицание как Failure Логических задач Типизированное программирование Простой поиск Эвристический поиск Си...

Сошников Д.В. Парадигма логического программирования

формат djvu
размер 12.5 МБ
добавлен 01 ноября 2009 г.

МАИ. Факультет прикладной математики. Кафедра вычислительной математики и программирования. Объем: 111стр. Содержание: Парадигмы. Системы логического программирования. Логика и исчисление предикатов. Логическое программирование как алгоритмическая модель. Типизированное логическое программирование. Языки программирование Prolog и Mercury. Рекурсивные структуры данных. Отрицание по неуспеху. Методы решения логических задач. Поиск в пространстве с...

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

Практикум

формат pdf
размер 258.2 КБ
добавлен 04 декабря 2010 г.

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