Компьютерный форум
Правила
Вернуться   Компьютерный форум > Форум программистов > Языки программирования > Prolog
Перезагрузить страницу Предикат bound
Ответ
 
Опции темы Опции просмотра
  (#1 (permalink)) Старый
User№345672 User№345672 вне форума
Новичок
 
Сообщений: 9
Сказал(а) спасибо: 0
Поблагодарили 0 раз(а) в 0 сообщениях
Регистрация: 04.11.2010
По умолчанию Предикат bound - 07.11.2010, 15:36

подскажите пожалуйста что такое предикат bound, я читал в хелпе, но не понял

position_subList(_,[ ], Pos):-
bound(Pos).
Ответить с цитированием
  (#2 (permalink)) Старый
aagВбане aagВбане вне форума
Banned
 
Сообщений: 53
Сказал(а) спасибо: 0
Поблагодарили 0 раз(а) в 0 сообщениях
Регистрация: 04.11.2010
По умолчанию 07.11.2010, 15:58

может и поможет:
[PROLOG]DOMAINS
s=string
PREDICATES
p(s)
CLAUSES
p(A):- bound(A), !, write(A), nl.
p(A):- A="free var".[/PROLOG]

[PROLOG]Goal: p("Bound")
Bound
Yes
Goal: p(X)
X=free var
1 Solution
[/PROLOG]
Ответить с цитированием
  (#3 (permalink)) Старый
Винитарх Винитарх вне форума
Специалист
 
Аватар для Винитарх
 
Сообщений: 7,958
Сказал(а) спасибо: 2
Поблагодарили 303 раз(а) в 303 сообщениях
Регистрация: 01.03.2003
Адрес: Краснодар
По умолчанию 07.11.2010, 16:51

bound(X) проверяет, связана ли переменная X каким-либо значением или нет. Если связана, то этот предикат успешен, иначе - даёт откат (ложен).
Ответить с цитированием
  (#4 (permalink)) Старый
Gun-Down Gun-Down вне форума
;)
 
Сообщений: 306
Сказал(а) спасибо: 0
Поблагодарили 0 раз(а) в 0 сообщениях
Регистрация: 23.07.2010
По умолчанию 07.11.2010, 18:49

Интересно, как сэмулировать этот предикат. Я придумал такой вариант:
[PROLOG]bound(X) :- not(not(X = a)), not(not(X = b)).[/PROLOG]
А проще можно?
Ответить с цитированием
  (#5 (permalink)) Старый
User№345672 User№345672 вне форума
Новичок
 
Сообщений: 9
Сказал(а) спасибо: 0
Поблагодарили 0 раз(а) в 0 сообщениях
Регистрация: 04.11.2010
По умолчанию 07.11.2010, 20:33

Большое спасибо за помощь
Ответить с цитированием
Ads.
Ads
Ответ

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

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

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


Похожие темы
Тема Автор Раздел Ответов Последнее сообщение
Предикат exists(+P, +L) Елена88 Prolog 2 23.12.2011 09:19
ПРЕДИКАТ readln HASKI Prolog 2 09.04.2011 14:19
error е609: Variable 'Ктото' is not completely bound Birth Prolog 2 20.03.2011 21:47
Предикат Гадюка Prolog 6 19.11.2010 16:41
Требуется сделать предикат LPuge dron4ikk Lisp 10 29.05.2010 04:12
Определить функциональный предикат jen1234 Lisp 3 23.05.2010 18:47
Предикат Edit CaliberovDizz Prolog 4 18.04.2009 23:44
Напишите предикат p на формулу ABBA@12 Lisp 4 03.03.2009 07:14
Как определить симметричный предикат? vanek Prolog 1 04.11.2008 18:17
Предикат clause wiwzik Prolog 1 07.08.2008 22:20
Предикат LISTP как с ним работать sko2 Lisp 6 03.12.2007 22:59
Существует ли предикат? Бляк Prolog 28 11.05.2006 13:18



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