![]() |
|
Модераторы: Poseidon |
![]()
|
|
| megapolis |
|
|||
|
Новичок Профиль Группа: Участник Сообщений: 3 Регистрация: 30.4.2008 Репутация: нет Всего: нет |
domains
s=symbol predicates parent(s,s) male(s) female(s) father(s) mather(s) sister(s,s) different(s,s) clauses parent(stepa,nastia). parent(natasha,nastia). parent(stepa,ira). parent(natasha,ira). parent(stepa,seresha). parent(natasha,seresha). male(stepa). male(seresha). female(natasha). female(nastia). female(ira). father(X):-parent(X,Y),male(X). mather(X):-parent(X,Y),female(X). sister(X,Y):-parent(Z,X),parent(Z,Y),female(X),female(Y),different(X,Y). 401 No clauses for this predicate[different(s,s)] 420 WARNING: THE variable is only used once.[father(X):-parent(X,Y),male(X)] Кто сможет объяснить мне, гду у меня были ошибки? |
|||
|
||||
| Shaggie |
|
|||
![]() Опытный ![]() ![]() Профиль Группа: Завсегдатай Сообщений: 570 Регистрация: 21.12.2006 Где: outer space Репутация: нет Всего: 72 |
Предикат different(s,s) не описан в clauses. Это я на русский перевёл
Это не ошибка, а предупреждение - переменная Y нигде не используется, поэтому её объявление не нужно (во многих реализациях пролога подставление шаблонной переменной может увеличить производительность программы). Переписывается просто: father(X) :- parent(X, _), male(X). (Дальше интерпретатор ругнётся на mother по той же причине... ) |
|||
|
||||
![]()
|
| Правила форума "Центр помощи" | |
|
|
ВНИМАНИЕ! Прежде чем создавать темы, или писать сообщения в данный раздел, ознакомьтесь, пожалуйста, с Правилами форума и конкретно этого раздела.
Более подробно с правилами данного раздела Вы можете ознакомится в этой теме. Если Вам помогли и атмосфера форума Вам понравилась, то заходите к нам чаще! С уважением, Poseidon, Rodman |
| 0 Пользователей читают эту тему (0 Гостей и 0 Скрытых Пользователей) | |
| 0 Пользователей: | |
| « Предыдущая тема | Центр помощи | Следующая тема » |
|
|
По вопросам размещения рекламы пишите на vladimir(sobaka)vingrad.ru
Отказ от ответственности Powered by Invision Power Board(R) 1.3 © 2003 IPS, Inc. |