Компьютерный форум
Правила
Вернуться   Компьютерный форум > Форум программистов > Языки программирования > Prolog
Перезагрузить страницу помогите в трактовании правила...
Ответ
 
Опции темы Опции просмотра
  (#1 (permalink)) Старый
mckagan
Guest
 
Сообщений: n/a
По умолчанию 09.01.2007, 21:05

Здравствуйте!
Ответьте, пожалуйста, на несколько вопросов:

Есть правило:

нравится(боб,Спорт):- нравится(леха, Спорт), нравится(дима, Спорт1).

Это правило читается так, как я записал ниже?

Если лехе нравится какой-нибудь вид спорта, и диме нравится некоторый вид спорта, то бобу нравится тот спорт, который нравится лехе.

Иными словами, правую часть тела правила можно вообще отбросить? Какое значение она имеет?

Есть база фактов и правил:

Код:
CLAUSES
  нравится(лена,теннис). %Факт1
  нравится(миша,футбол). %Факт2
  нравится(дима,бейсбол). %Факт3
  нравится(дима,плавание). %Факт4
  нравится(леха,теннис). %Факт5

  нравится(боб,Спорт):-
    нравится(леха, Спорт), нравится(дима,Спорт1). 

GOAL
 нравится(боб,Спорт).

Вместо того,чтобы выдать 1 ответ: теннис, Пролог дает два ответа "теннис". Почему?
Ответить с цитированием
  (#2 (permalink)) Старый
mckagan
Guest
 
Сообщений: n/a
По умолчанию 09.01.2007, 21:05

Здравствуйте!
Ответьте, пожалуйста, на несколько вопросов:

Есть правило:

нравится(боб,Спорт):- нравится(леха, Спорт), нравится(дима, Спорт1).

Это правило читается так, как я записал ниже?

Если лехе нравится какой-нибудь вид спорта, и диме нравится некоторый вид спорта, то бобу нравится тот спорт, который нравится лехе.

Иными словами, правую часть тела правила можно вообще отбросить? Какое значение она имеет?

Есть база фактов и правил:

Код:
CLAUSES
  нравится(лена,теннис). %Факт1
  нравится(миша,футбол). %Факт2
  нравится(дима,бейсбол). %Факт3
  нравится(дима,плавание). %Факт4
  нравится(леха,теннис). %Факт5

  нравится(боб,Спорт):-
    нравится(леха, Спорт), нравится(дима,Спорт1). 

GOAL
 нравится(боб,Спорт).

Вместо того,чтобы выдать 1 ответ: теннис, Пролог дает два ответа "теннис". Почему?
Ответить с цитированием
  (#3 (permalink)) Старый
Винитарх Винитарх вне форума
Специалист
 
Аватар для Винитарх
 
Сообщений: 7,889
Сказал(а) спасибо: 2
Поблагодарили 293 раз(а) в 293 сообщениях
Регистрация: 01.03.2003
Адрес: Краснодар
По умолчанию 09.01.2007, 22:53

Потому что диме нравятся два вида спорта:
Код:
нравится(дима,бейсбол). %Факт3
нравится(дима,плавание). %Факт4
Ответить с цитированием
Ads
  (#4 (permalink)) Старый
Винитарх Винитарх вне форума
Специалист
 
Аватар для Винитарх
 
Сообщений: 7,889
Сказал(а) спасибо: 2
Поблагодарили 293 раз(а) в 293 сообщениях
Регистрация: 01.03.2003
Адрес: Краснодар
По умолчанию 09.01.2007, 22:53

Потому что диме нравятся два вида спорта:
Код:
нравится(дима,бейсбол). %Факт3
нравится(дима,плавание). %Факт4
Ответить с цитированием
Ответ

Опции темы
Опции просмотра

Ваши права в разделе
Вы не можете создавать новые темы
Вы не можете отвечать в темах
Вы не можете прикреплять вложения
Вы не можете редактировать свои сообщения

BB коды Вкл.
Смайлы Вкл.
[IMG] код Вкл.
HTML код Выкл.
Trackbacks are Вкл.
Pingbacks are Вкл.
Refbacks are Выкл.


Похожие темы
Тема Автор Раздел Ответов Последнее сообщение
правила выбора ноутбука. Ilia 87 Любые вопросы от новичков 1 14.01.2012 22:32
Правила форума adminius Вопросы начинающих программистов 0 17.11.2010 17:07
Правила форума Dima87 О сайте и форуме 1 23.05.2010 14:51
Правила написания объявлений Семен Коммерческий раздел 1 29.03.2009 16:22
Правила публикации лог-файлов Артём Техническая поддержка 0 02.03.2009 01:43
Правила раздела. Admin Опросы и мнения 0 13.01.2009 11:06
Правила форума Admin О сайте и форуме 0 03.10.2008 01:35
Правила форума(нарушения, баллы, баны и т.п) DarkStrom О сайте и форуме 9 17.09.2008 11:02
Правила оформления исходного кода на С voodOOpeople Мысли вслух 51 16.10.2006 12:20
Правила-фильтры для работы с БД Primat Prolog 1 09.10.2006 11:55
Где взять правила выражения? Pr0phet Офтопик 9 15.04.2006 16:52
У форума появились Правила Garik Мысли вслух 4 17.04.2003 16:01



Powered by vBulletin® Version 3.8.7
Copyright ©2000 - 2017, Jelsoft Enterprises Ltd.
Нardforum.ru - компьютерный форум и программирование, форум программистов