domains
vremya = час(integer); день(integer); год(integer)
predicates
nondeterm информация_планета(symbol, integer, vremya, vremya)
конверт_в_час(vremya, integer)
clauses
%информация_планета(название,расстояние до солнца,период обращения , средние солнечные сутки)
информация_планета(меркурий,39,день(88),день(176)).
информация_планета(венера,72,день(225),день(117)).
информация_планета(земля,100,день(365),час(24)).
информация_планета(марс,152,день(687),час(25)).
информация_планета(юпитер,520,год(12),час(10)).
информация_планета(сатурн,954,год(29),час(10)).
информация_планета(уран,1920,год(84),час(24)).
информация_планета(нептун,3010,год(165),час(22)).
информация_планета(венера,3950,год(247),день(6)).
%конверт_в_час(промежуток_времени,в_часах).
конверт_в_час(час(X),X).
конверт_в_час(день(X),Y):-Y is X*24.
конверт_в_час(год(X),Y):-Y is X*24*365.
% 1. Какие планеты ближе к Солнцу, чем Земля?
% ?- информация_планета(Название,Length,_,_),информация_планета(земля,X,_,_),Length<X.
% 2.Какие планеты дальше от Солнца, чем Земля?
%?- информация_планета(Название,Length,_,_),информация_планета(земля,X,_,_),Length>X.
%3.На каких планетах солнечные сутки меньше, чем земные?
% ?-информация_планета(Название,_,_,X),информация_планета(земля,_,_,Земные_сутки),конверт_в_час(X,X1),конверт_в_час(Земные_сутки,Земные_сутки1),X1<Земные_сутки1.
% 4.На каких планетах период обращения измеряется в годах? ?-
% информация_планета(Название,_,год(_),_).