:- style_check(-discontiguous).
label("afvloeien_water_aarde | Metereologie | Hydrologie | Seizoensgebonden | EDAG").
edag(afvloeien_water_aarde,"./afvloeien_water_aarde/afvloeien_water_aarde.svg").
temperatuur(bodem,"T > 0°C").
collectie(bovengronds,zoet,water).
overzadigde_zone(boven,waterspiegel,capilair).
grondwater(onder,waterspiegel,stroming).
stroming(rivieren,meren).
stroming(rivieren,zeedeltas).
afhankelijk(debiet,regenval).
afhankelijk(debiet,hoogteverschillen).
afwisselend(overstromingen,laagstand).
zone(brak,water).
locatie(zeehavens).
ltext("Schor Paulinapolder met uitzicht op haven van Antwerpen – Arjen Hartog").
smelttemperatuur(sneeuw,"T > 0°C").
ruimte(zeevaart,zeevisserij).
aanvulling(sneeuw,winter,lente).
smelten(sneeuw,zomer,herfst).
volume(winter,krimpt,jaar_na_jaar).
laagstand(zomer,rivieren,meren).
vollume(winter,vermindert,jaar_na_jaar).
stijging(water,oceanen).
img("./breugel.png").
img("./Ondergrond.png").
img("./laagstand_rijn.png").
img("./ijskap.png").
img("./gletsjer.png").
ltext("De Vinciguerra-Gletsjer in Tierra del Fuego, Argentinië.").
img("./estuarium.png").
img("volle_zee.png").
url("https://nl.wikipedia.org/wiki/Sneeuw").
url("https://nl.wikipedia.org/wiki/Bodem").
url("https://nl.wikipedia.org/wiki/Rioolwaterzuiveringsinstallatie").
url("https://nl.wikipedia.org/wiki/Ondergrond").
url("https://nl.wikipedia.org/wiki/Gletsjer").
url("https://nl.wikipedia.org/wiki/Rivier").
url("https://nl.wikipedia.org/wiki/Estuarium").
url("https://nl.wikipedia.org/wiki/IJskap").
url("https://nl.wikipedia.org/wiki/Zee").
prove :-
	afvloeien(regen,bodem,collectoren),
	indringen(bovengronds,zoet,water,ondergrond),
	ontspringen(waterbron),
	dreineren(bovengronds,zoet,water),
	afvloeien(bovengronds,zoet,water),
	uitmonden(estuarium,zee),
	afsmelten(gletsjers),
	afsmelten(ijskappen).
afvloeien(regen,bodem,collectoren) :-
	opvang(neerslag,wadis,grachten,riolen),
	collectie(bovengronds,zoet,water).
opvang(neerslag,wadis,grachten,riolen) :-
	url("https://nl.wikipedia.org/wiki/Bodem"),
		temperatuur(bodem,"T > 0°C").
collectie(bovengronds,zoet,water) :-
	url("https://nl.wikipedia.org/wiki/Rioolwaterzuiveringsinstallatie"),
		temperatuur(bodem,"T > 0°C").
indringen(bovengronds,zoet,water,ondergrond) :-
	collectie(bovengronds,zoet,water),
	ondergrond(overzadigde_zone,grondwater).
ondergrond(overzadigde_zone,grondwater) :-
	url("https://nl.wikipedia.org/wiki/Ondergrond"),
	overzadigde_zone(boven,waterspiegel,capilair),
	grondwater(onder,waterspiegel,stroming),
	img("./Ondergrond.png").
ontspringen(waterbron) :-
	ondergrond(overzadigde_zone,grondwater),
	stroming(rivieren,meren).
dreineren(bovengronds,zoet,water) :-
    	collectie(bovengronds,zoet,water),
    	stroming(rivieren,meren).
stroming(rivieren,meren) :-
	url("https://nl.wikipedia.org/wiki/Rivier"),
	afhankelijk(debiet,regenval),
	afhankelijk(debiet,hoogteverschillen),
    	afwisselend(overstromingen,laagstand),
    	img("./laagstand_rijn.png").
afvloeien(bovengronds,zoet,water) :-
	stroming(rivieren,meren),
	stroming(rivieren,estuarium).
stroming(rivieren,estuarium) :-
	url("https://nl.wikipedia.org/wiki/Estuarium"),
	zone(brak,water),
	locatie(zeehavens),
    	img("./estuarium.png"),
	ltext("Schor Paulinapolder met uitzicht op haven van Antwerpen – Arjen Hartog").
uitmonden(estuarium,zee) :-
    stroming(rivieren,estuarium),
    volle(zee).
volle(zee) :-
	url("https://nl.wikipedia.org/wiki/Zee"),
	ruimte(zeevaart,zeevisserij),
    	img("volle_zee.png").
afsmelten(gletsjers) :-
	sneeuw(gletsjers,boven,sneeuwgrens),
	stroming(rivieren,meren).
sneeuw(gletsjers,boven,sneeuwgrens) :-
	url("https://nl.wikipedia.org/wiki/Gletsjer"),
	aanvulling(sneeuw,winter,lente),
	smelten(sneeuw,zomer,herfst),
    	volume(winter,krimpt,jaar_na_jaar),
    	laagstand(zomer,rivieren,meren),
	img("./gletsjer.png"),
	ltext("De Vinciguerra-Gletsjer in Tierra del Fuego, Argentinië.").
afsmelten(ijskappen) :-
	sneeuw(poolkappen,noord,zuid),
	volle(zee).
sneeuw(poolkappen,noord,zuid) :-
	url("https://nl.wikipedia.org/wiki/IJskap"),
	aanvulling(sneeuw,winter,lente),
	smelten(sneeuw,zomer,herfst),
	vollume(winter,vermindert,jaar_na_jaar),
	stijging(water,oceanen),
	img("./ijskap.png").