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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


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



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