![]() |
|
|
![]()
|
|
| Ak47black |
|
||||
![]() Эксперт ![]() ![]() ![]() ![]() Профиль Группа: Завсегдатай Сообщений: 2205 Регистрация: 2.12.2005 Репутация: нет Всего: 0 |
Здравствуйте.
Помогите, немогу понять. Уже как только мог перепробовал, но никак не выходит. Мне нужно сделать предикат, который бы проверял что данный список находится в порядке убывания. Вот так например пробую
ввожу
получаю false. |
||||
|
|||||
| Фантом |
|
|||
![]() Вы это прекратите! ![]() ![]() ![]() Профиль Группа: Участник Клуба Сообщений: 1516 Регистрация: 23.3.2008 Репутация: 6 Всего: 49 |
Во-первых, у Вас есть два разных предиката maz - с одним аргументом и с двумя. Первый определен (причем с синтаксической некорректностью), второй нет.
Во-вторых, у рекурсивного определения должна быть база - утверждение, что список из одного элемента упорядочен. В итоге все переписывается так:
|
|||
|
||||
| Ak47black |
|
|||
![]() Эксперт ![]() ![]() ![]() ![]() Профиль Группа: Завсегдатай Сообщений: 2205 Регистрация: 2.12.2005 Репутация: нет Всего: 0 |
Я про
СПАСИБО! Это сообщение отредактировал(а) Ak47black - 19.9.2010, 15:10 |
|||
|
||||
![]()
|
| Правила форума Prolog | |
|
|
Если Вам понравилась атмосфера форума, заходите к нам чаще! С уважением, Void. |
| 0 Пользователей читают эту тему (0 Гостей и 0 Скрытых Пользователей) | |
| 0 Пользователей: | |
| « Предыдущая тема | Prolog | Следующая тема » |
|
|
По вопросам размещения рекламы пишите на vladimir(sobaka)vingrad.ru
Отказ от ответственности Powered by Invision Power Board(R) 1.3 © 2003 IPS, Inc. |