Достижения
Биржа 
Карты ↓
Dron.ru писал(а):
И тут мы сталкиваемся с проблемой системы всех систем (множества всех подмножеств) - является ли она частью самой себя? Является. И такая существует.
?- member(A, A).
A = [A|_G298] ;
A = [_G297, A|_G301] ;
A = [_G297, _G300, A|_G304] ;
A = [_G297, _G300, _G303, A|_G307] ;
A = [_G297, _G300, _G303, _G306, A|_G310] ;
A = [_G297, _G300, _G303, _G306, _G309, A|_G313] ;
A = [_G297, _G300, _G303, _G306, _G309, _G312, A|_G316] ;
A = [_G297, _G300, _G303, _G306, _G309, _G312, _G315, A|_G319] .
?-
Но как ей оперировать... хз) Даже вывести на экран сложно.
Поиск
Твинки
Друзья
Администрация