Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
snow(X) :- artificialsnow(X). ice(X) :- snow(X). isfrozen(X) :- ice(X). iscold(X) :- not(abnormal(X)), ice(X). % Declare artificialsnow as being abnormal. abnormal(X) :- artificialsnow(X). snow(flake). artificialsnow(confetti).