label("Contraction of the Arctic Ice | Climatology | Measurements Polar Ice Arctic| D.V.").
url("https://danielverhoeven.deds.nl/dag/smelten_noordpoolkap/index.html").
% Proven with SWI-Prolog https://www.swi-prolog.org/

% label


% facts

url("https://en.wikipedia.org/wiki/Arctic").
url("https://nsidc.org/arcticseaicenews/2023/09/").
url("https://www.ipcc.ch/report/sixth-assessment-report-cycle/").
average_temperature("arctic_circle < 0° C",1980).
average_temperature("arctic_circle > +1° C",2016).
volume(arctic_ice,"zero_measurement",1980).
volume(arctic_ice,"original - 7500 billion tons",2016).
surface(arctic_ice,"7,54 million km²",1980).
surface(arctic_ice,"4,17 million km²",2016).
img("inkrimpen.png").

% rules
prove :- 
	process(contraction,climate_change,arctic_ice).

process(contraction,climate_change,arctic_ice) :-
	url("https://www.ipcc.ch/report/sixth-assessment-report-cycle/"),
	status(storage,snow,arctic_ice,1980),
	status(storage,snow,arctic_ice,2016).

status(storage,snow,arctic_ice,1980) :-
	url("https://en.wikipedia.org/wiki/Arctic"),
	average_temperature("arctic_circle < 0° C",1980),
	volume(arctic_ice,"zero_measurement",1980),
	surface(arctic_ice,"7,54 million km²",1980).

status(storage,snow,arctic_ice,2016) :-
	url("https://nsidc.org/arcticseaicenews/2023/09/"),
	average_temperature("arctic_circle > +1° C",2016),
	volume(arctic_ice,"original - 7500 billion tons",2016),
	surface(arctic_ice,"4,17 million km²",2016),
	img("inkrimpen.png").