label("Verdamping | Hydrologie | Meteorologie | D.V.").
url("https://danielverhoeven.deds.nl/dag/beknopte_regen_cyclus/verdamping.html").

% Proven with SWI Prolog

% facts
url("https://nl.wikipedia.org/wiki/Wolk").
url("https://nl.wikipedia.org/wiki/Rivierdelta").
url("https://nl.wikipedia.org/wiki/Verdamping").
url("https://earthobservatory.nasa.gov/global-maps/MYD28M/MYDAL2_M_SKY_WV").
url("https://ocw.tudelft.nl/wp-content/uploads/Hydrologie-hfdst-5.pdf").
url("https://nl.wikipedia.org/wiki/Rivier").
url("https://nl.wikipedia.org/wiki/Oceaan").
url("https://nl.wikipedia.org/wiki/Bodem").
url("https://nl.wikipedia.org/wiki/Interceptie_(hydrologie)").
verzadiging("relatieve_vochtigheid < 100%").
verzadiging("relatieve_vochtigheid = 100%").
lucht("temperatuur > dauwpunt").
verdamping(water, "temperatuur > 0° C").
waterdruppels("gemiddeld 20 micron").
hoogte("2000-16000 meter").
img("./wolk.png").
afvloeien(van_hoog,naar_laag).
afvloeien(van_hoog,naar_zeeniveau).
opvang(niet_doorlaatbare,oppervlakten).


%rules


prove :-
	condensatie(druppelvorming,rond_condesatiekernen),
	afvloeien(zoet,water,naar,zee),
	verdamping(zoet,water,atmosfeer),
	verdamping(zout,water,atmosfeer),
	verdamping(interceptie,neerslag,atmosfeer).

condensatie(druppelvorming,rond_condesatiekernen) :-
	url("https://nl.wikipedia.org/wiki/Wolk"),
	atmosfeer(opstijgende,waterdamp),
	condensaat(waterdruppels,ijskristallen,partikels).


afvloeien(zoet,water,naar,zee) :-
	url("https://nl.wikipedia.org/wiki/Rivierdelta"),
	opslag(zoet,water,rivieren_en_meren),
	opslag(zout,water,oceanen).


verdamping(zoet,water,atmosfeer) :-
	url("https://nl.wikipedia.org/wiki/Verdamping"),
	opslag(zoet,water,rivieren_en_meren),
	atmosfeer(opstijgende,waterdamp).

verdamping(zout,water,atmosfeer) :-
	url("https://earthobservatory.nasa.gov/global-maps/MYD28M/MYDAL2_M_SKY_WV"),
	opslag(zout,water,oceanen),
	atmosfeer(opstijgende,waterdamp).


verdamping(interceptie,neerslag,atmosfeer) :-
	url("https://nl.wikipedia.org/wiki/Interceptie_(hydrologie)"),
	interceptie(neerslag,bodem,vegetatie,gebouwen),
	atmosfeer(opstijgende,waterdamp).

atmosfeer(opstijgende,waterdamp) :-
	verzadiging("relatieve_vochtigheid < 100%"),
	lucht("temperatuur > dauwpunt"),
	verdamping(water, "temperatuur > 0° C").

condensaat(waterdruppels,ijskristallen,partikels) :-
	url("https://ocw.tudelft.nl/wp-content/uploads/Hydrologie-hfdst-5.pdf"),
	verzadiging("relatieve_vochtigheid = 100%"),
	waterdruppels("gemiddeld 20 micron"),
	hoogte("2000-16000 meter"),
	img("./wolk.png").

opslag(zoet,water,rivieren_en_meren) :-
	url("https://nl.wikipedia.org/wiki/Rivier"),
	afvloeien(van_hoog,naar_laag).

opslag(zout,water,oceanen) :-
	url("https://nl.wikipedia.org/wiki/Oceaan"),
	afvloeien(van_hoog,naar_zeeniveau).

interceptie(neerslag,bodem,vegetatie,gebouwen) :-
	url("https://nl.wikipedia.org/wiki/Bodem"),
	opvang(niet_doorlaatbare,oppervlakten).