:- style_check(-discontiguous).
label("infiltratie_water_aarde | Bodem infiltratie | Hydrologie | EDAG").
edag(infiltratie_water_aarde,"./infiltratie_water_aarde/infiltratie_water_aarde.svg").
url("https://nl.wikipedia.org/wiki/Bron_(water)").
url("https://nl.wikipedia.org/wiki/Grondwaterstroming").
url("https://nl.wikipedia.org/wiki/Grondwater").
url("https://nl.wikipedia.org/wiki/Infiltratie_(waterbeheer)").
url("https://en.wikipedia.org/wiki/Groundwater").
url("https://nl.wikipedia.org/wiki/Onverzadigde_zone").
url("https://nl.wikipedia.org/wiki/Aquiclude").
url("https://en.wikipedia.org/wiki/Aquifer#Aquifers_versus_aquitards").
url("https://nl.wikipedia.org/wiki/Vijver").
terrein(hoogteverschillen).
verplaatsing("door hoogteverschillen of drukverschillen").
grond_laag(doordringbaar).
grond_laag(ondoordringbaar).
ondergrond(temperatuur,boven,nul).
grond(temperatuur,boven,nul).
samenvloeien(regenwater).
img("bron.png").
img("Vadose_zone.png").
img("water_table.png").
img("meersen.png").
prove :-
	ontspringen(waterbron),
	beweging(grondwater),
	xor(water,infiltratie,grondwater),
	xor(water,insijpelen,insluiting),
	infiltreren(onverzadigde_zone).
ontspringen(waterbron) :-
	url("https://nl.wikipedia.org/wiki/Bron_(water)"),
	stroming(grondwater),
	stroming(rivieren,meren).
stroming(grondwater) :-
	url("https://nl.wikipedia.org/wiki/Grondwater"),
		verplaatsing("door hoogteverschillen of drukverschillen").
stroming(rivieren,meren) :-
	url("https://nl.wikipedia.org/wiki/Bron_(water)"),
	terrein(hoogteverschillen),
	img("bron.png").
beweging(grondwater) :-
	url("https://nl.wikipedia.org/wiki/Grondwaterstroming"),
	aquifer(grondwater,laag),
	stroming(grondwater).
stroming(grondwater) :-
	url("https://nl.wikipedia.org/wiki/Grondwater"),
		verplaatsing("door hoogteverschillen of drukverschillen").
xor(water,infiltratie,grondwater) :-
	url("https://nl.wikipedia.org/wiki/Infiltratie_(waterbeheer)"),
	bodem(onverzadigde_zone,boven_aquifer),
	aquifer(grondwater,laag).
bodem(onverzadigde_zone,boven_aquifer) :-
	url("https://nl.wikipedia.org/wiki/Onverzadigde_zone"),
	ondergrond(temperatuur,boven,nul).
aquifer(grondwater,laag) :-
	url("https://en.wikipedia.org/wiki/Groundwater"),
	grond_laag(doordringbaar),
	img("Vadose_zone.png").
xor(water,insijpelen,insluiting) :-
    url("https://nl.wikipedia.org/wiki/Aquiclude"),
	bodem(onverzadigde_zone,boven_aquifer),
	opslag(insluiting,harde_laag).
opslag(insluiting,harde_laag) :-
	url("https://en.wikipedia.org/wiki/Aquifer#Aquifers_versus_aquitards"),
	grond_laag(ondoordringbaar),
	img("water_table.png").
infiltreren(onverzadigde_zone) :-
	url("https://nl.wikipedia.org/wiki/Onverzadigde_zone"),
	collectie(bovengronds,zoet,water),
	bodem(onverzadigde_zone,boven_aquifer).
collectie(bovengronds,zoet,water) :-
	url("https://nl.wikipedia.org/wiki/Vijver"),
    samenvloeien(regenwater),
    grond(temperatuur,boven,nul),
	img("meersen.png").