Модератор: Все вопросы по лекциям оставлять здесь!

Это сообщение отредактировал(а) Guedda - 9.7.2007, 10:28

Декларативная и процедурная семантика программ.

    Как и любые другие языки, языки программирования обладают синтаксисом и семантикой. Синтаксис определяет, как записывать конструкции программы, а семантика - как интерпритировать те или иные конструкции, т.е. какой в них вкладывается смысл.
    В процедурном программировании семантика определяет, как должны производиться вычисления (оператор цикла, безусловный оператор, и т.д.). В логическом программировании каждое утверждение описывает случай, когда некоторое отношение истинно. Мы объявляем эти случаи, поэтому говорим о декларативном программировании.
    Однако в процедурном программировании имеются декларативные моменты и наоборот. 


C одной стороны этот пример показывает, как по Х вычислить Y, а с другой, логической, стороны записано некое свойство, что

Аналогично правило в прологе допускает две трактовки:
Пример.

• Декларативный смысл:
  

  Цитата

  Для любых X,Y, если Y является отцом X, и X является мужчиной, то X является сыном Y.

• Процедурная трактовка:
  

  Цитата

  Для того, чтобы показать, что X является сыном Y, нужно показать, что Y является отцом X, и X - это мужчина.

    Язык Пролог строится на логическом программировании, поэтому он является декларативным языком. С другой стороны, в нём имеются процедурные моменты, связанные с конкретным способом вычислений.

Это сообщение отредактировал(а) Guedda - 22.11.2006, 19:38

Списки являются основными элементами программирования на языке Prolog. 
Синтаксис: 
Элементы списка записываются в квадратных скобках через запятую:


В последнем примере [d] - это тоже список, только с одним элементом. 
Элементами списка могут быть любые термы. Элементом может быть и пустой список. Все списки делятся на голову и хвост, где хвост - это последний элемент списка, а голова - все остальные элементы. Пустой список не делится на голову и хвост.

это не по лекциям ли Рубанчика В.Б?  

Неверно! Голова - это первый элемент списка, а хвост - все остальное...  

думаю к лекциям не помешают исходники =)

Введение в Турбо Пролог
Предложения, факты и правила в Турбо Прологе
Структура программы в Турбо Прологе
Трансляция списков в Турбо Прологе
Файлы в Турбо Прологе и их обработка
Декларативная и процедурная семантика языка Пролог
Влияние порядка предложений и предикатов в них на достижение цели в Турбо Прологе
Особенности применения предикатов отсечения и отрицания в Турбо Прологе
Решение логических задач в Турбо Прологе. Задача об обезьяне.
Решение логических задач в Турбо Прологе. Задача о ханойсной башне.
Решение логических задач в Турбо Прологе. Задача о расследовании преступления
Базы данных и базы знаний в Турбо Прологе
Интерфейс на естественном языке в Турбо Прологе
Взаимодействие Турбо Пролога с файлами DBF-формата
Использование метода анализа ключевых слов при построении интерфейса с базой знаний в Турбо Прологе
Программа лексического анализа предложений в Турбо Прологе
Контекстно-свободный анализ предложений
Структура экспертных систем (Турбо Пролог)
Классификация экспертных систем (Турбо Пролог)
Экспертные системы, базирующиеся на правилах (Турбо Пролог)
Экспертные системы, базирующиеся на логике (Турбо Пролог)
Рекомендации по разработке экспертных систем (Турбо Пролог)
ПОСТРОЕНИЕ ЭКСПЕРТНЫХ СИСТЕМ НА ТУРБО ПРОЛОГЕ. Экспертная система, базирующаяся на правилах
ПОСТРОЕНИЕ ЭКСПЕРТНЫХ СИСТЕМ НА ТУРБО ПРОЛОГЕ. Экспертная система, базирующаяся на логике
ПОСТРОЕНИЕ ЭКСПЕРТНЫХ СИСТЕМ НА ТУРБО ПРОЛОГЕ. Экспертная система медицинской диагностики

продолжение...

• Задача о шахматах. Расстановка фигур с максимальной угрозой [Prolog] - Prolog
• Найти определитель матрицы. Метод Гаусса [Prolog] - Prolog
• Алгоритм, расчитывающий выигрышные позиции в игре в 20 [SWI Prolog] - Prolog
• Трансляция арифметических выражений над натуральными числами из канонической (в виде структур) формы в постфиксную форму - Prolog
• Задача о том кто какую читает книгу - Prolog
• Разделение списка на 2 относительно первого элемента ( по принципу "больше-меньше") - Prolog
• Решение задачи манипулирования кубиками методом поиска в глубину - Prolog
• Задача. Матрица - Prolog
• Задача о коммивояжере методом поиска в глубину - Prolog

Если к лекциям не мешают исходники, я тоже добавлю чуть чуть: 
Параллельные программы на Prolog [SWI Prolog]
Сортировка слиянием [Prolog]
Задачи на списки [Prolog]
Быстрая сортировка
Ввод данных в SWI Prolog
Циклы на прологе. Часть 2

Это сообщение отредактировал(а) rrrFer - 4.4.2013, 14:35