Новицкая Ю.В. Основы логического и функционального программирования

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

Учебное пособие. - Новосибирск: НГТУ, 2006. - 60 с. В настоящем учебном пособии излагаются базовые принципы логического и функционального программирования. Пособие разработано на кафедре вычислительной техники Новосибирского государственного технического университета.
Предложения: факты и правила
Запросы
Предикаты
Переменные
Основные секции программы
Основные стандартные домены
Поиск с возвратом
Управление поиском с возвратом: предикаты! и fail
Рекурсия
Составные объекты
Списки
Деревья
Строки
Основы функционального программирования
Введение
Символьные выражения
Списки
Функции
Базовые функции
Управляющие структуры (предложения)
Простая рекурсия
Другие виды рекурсии

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

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

формат pdf
размер 184.3 КБ
добавлен 15 марта 2008 г.

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

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

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

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

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

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

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

Метакидес Г., Нероуд А. Принципы логики и логическое программирование

формат djvu
размер 533.83 КБ
добавлен 12 сентября 2010 г.

Книга известных специалистов в области математической логики и логического программирования (Греция, США). Излагаются основные понятия и принципы математической логики. Основное внимание уделяется вопросам применения языка математической логики для представления знаний и формальным методам доказательства теорем с использованием семантических таблиц и резолютивного вывода. На примере языка ПРОЛОГ рассматриваются принципы логического программирова...

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

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

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

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

program

формат txt
размер 17.8 МБ
добавлен 02 марта 2009 г.

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

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

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

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

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

формат djvu
размер 3.97 МБ
добавлен 05 июня 2008 г.

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

Хоггер К. Введение в логическое программирование

формат djvu
размер 3.41 МБ
добавлен 12 сентября 2010 г.

Книга написана английским специалистом по программированию и знакомит читателей с фундаментальными идеями и методологией логического программирования. В ней много внимания уделено вопросам синтеза программ, реализации языков логического программирования и их применения. Материал тщательно отобран, приводится много примеров, облегчающих усвоение материала. Для математиков-прикладников, специалистов по информатике, программистов, аспирантов и студ...

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

pottee

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

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