|
|
|
Guedda |
|
|||
Подрывник Профиль Группа: Завсегдатай Сообщений: 3137 Регистрация: 27.12.2005 Где: Ростов-на-Дону Репутация: 2 Всего: 78 |
Модератор: Все вопросы по лекциям оставлять здесь!
Это сообщение отредактировал(а) Guedda - 9.7.2007, 10:28 -------------------- Ll 2 |
|||
|
||||
Guedda |
|
||||||||||
Подрывник Профиль Группа: Завсегдатай Сообщений: 3137 Регистрация: 27.12.2005 Где: Ростов-на-Дону Репутация: 2 Всего: 78 |
Декларативная и процедурная семантика программ. Как и любые другие языки, языки программирования обладают синтаксисом и семантикой. Синтаксис определяет, как записывать конструкции программы, а семантика - как интерпритировать те или иные конструкции, т.е. какой в них вкладывается смысл. В процедурном программировании семантика определяет, как должны производиться вычисления (оператор цикла, безусловный оператор, и т.д.). В логическом программировании каждое утверждение описывает случай, когда некоторое отношение истинно. Мы объявляем эти случаи, поэтому говорим о декларативном программировании. Однако в процедурном программировании имеются декларативные моменты и наоборот.
C одной стороны этот пример показывает, как по Х вычислить Y, а с другой, логической, стороны записано некое свойство, что
Аналогично правило в прологе допускает две трактовки: Пример.
Это сообщение отредактировал(а) Guedda - 22.11.2006, 19:38 -------------------- Ll 2 |
||||||||||
|
|||||||||||
Guedda |
|
|||
Подрывник Профиль Группа: Завсегдатай Сообщений: 3137 Регистрация: 27.12.2005 Где: Ростов-на-Дону Репутация: 2 Всего: 78 |
Списки. Списки являются основными элементами программирования на языке Prolog. Синтаксис: Элементы списка записываются в квадратных скобках через запятую:
В последнем примере [d] - это тоже список, только с одним элементом. Элементами списка могут быть любые термы. Элементом может быть и пустой список. Все списки делятся на голову и хвост, где хвост - это последний элемент списка, а голова - все остальные элементы. Пустой список не делится на голову и хвост. -------------------- Ll 2 |
|||
|
||||
MissStone |
|
|||
Новичок Профиль Группа: Участник Сообщений: 1 Регистрация: 18.11.2008 Репутация: нет Всего: нет |
это не по лекциям ли Рубанчика В.Б?
|
|||
|
||||
Misha_White |
|
|||
Бывалый Профиль Группа: Участник Сообщений: 207 Регистрация: 25.4.2007 Где: Кодинск Репутация: нет Всего: 1 |
Неверно! Голова - это первый элемент списка, а хвост - все остальное... --------------------
Я не волшебник... я только учусь... |
|||
|
||||
hkdkest |
|
|||
Опытный Профиль Группа: Участник Сообщений: 300 Регистрация: 30.11.2008 Репутация: нет Всего: 1 |
продолжение...
• Задача о шахматах. Расстановка фигур с максимальной угрозой [Prolog] - Prolog • Найти определитель матрицы. Метод Гаусса [Prolog] - Prolog • Алгоритм, расчитывающий выигрышные позиции в игре в 20 [SWI Prolog] - Prolog • Трансляция арифметических выражений над натуральными числами из канонической (в виде структур) формы в постфиксную форму - Prolog • Задача о том кто какую читает книгу - Prolog • Разделение списка на 2 относительно первого элемента ( по принципу "больше-меньше") - Prolog • Решение задачи манипулирования кубиками методом поиска в глубину - Prolog • Задача. Матрица - Prolog • Задача о коммивояжере методом поиска в глубину - Prolog |
|||
|
||||
rrrFer |
|
|||
Бывалый Профиль Группа: Участник Сообщений: 208 Регистрация: 11.5.2008 Где: Красноярск Репутация: нет Всего: 1 |
Если к лекциям не мешают исходники, я тоже добавлю чуть чуть:
Параллельные программы на Prolog [SWI Prolog] Сортировка слиянием [Prolog] Задачи на списки [Prolog] Быстрая сортировка Ввод данных в SWI Prolog Циклы на прологе. Часть 2 Это сообщение отредактировал(а) rrrFer - 4.4.2013, 14:35 |
|||
|
||||
Правила форума Prolog | |
|
Если Вам понравилась атмосфера форума, заходите к нам чаще! С уважением, Void. |
0 Пользователей читают эту тему (0 Гостей и 0 Скрытых Пользователей) | |
0 Пользователей: | |
« Предыдущая тема | Prolog | Следующая тема » |
|
По вопросам размещения рекламы пишите на vladimir(sobaka)vingrad.ru
Отказ от ответственности Powered by Invision Power Board(R) 1.3 © 2003 IPS, Inc. |