Инструменты пользователя

Инструменты сайта


examination:flp:question47

bound

Проверка на наличие значения у переменной

Пример:

DOMAINS
term  = reference var(vid); cmp(fid,terml); int(int)
terml = reference term*
predname, fid, vid = symbol
int = integer
PREDICATES
call(predname,terml)
CLAUSES
call("<",[int(X),int(Y)]) :- !,
bound(X),bound(Y),
X<Y.
examination/flp/question47.txt · Последние изменения: 2014/01/15 12:17 (внешнее изменение)