label("Bodem infiltratie | Geologie | Hydrologie | D.V.").
url("https://danielverhoeven.deds.nl/dag/bodem_infiltratie/index.html").


% Proven with SWI-Prolog https://www.swi-prolog.org/
% including checks for tautology

% facts

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://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,"T > 0° C").
samenvloeien(regenwater).
grond(temperatuur, "T > 0° C").
img("bron.png").
img("Vadose_zone.png").
img("water_table.png").

% rules

% rule checking for tautology
different(X, X) :- !, fail.
different(X, Y).

different(stroming(grondwater),opslag(zoet,water,rivieren_en_meren)).
different(aquifer(grondwater,laag),stroming(grondwater)).
different(bodem(onverzadigde_zone,boven_aquifer),aquifer(grondwater,laag)).
different(opslag(regenwater,plassen,wadis,riolen),bodem(onverzadigde_zone,boven_aquifer)).
different(bodem(onverzadigde_zone,boven_aquifer),opslag(insluiting,harde_laag)).

% rules for a chain of causation graphs
prove :-
	ontspringen(waterbron),
	beweging(grondwater),
	infiltratie(water,grondwater),
	infiltratie(water,insluiting),
	infiltreren(onverzadigde_zone).

ontspringen(waterbron) :-
	url("https://nl.wikipedia.org/wiki/Bron_(water)"),
	stroming(grondwater),
	opslag(zoet,water,rivieren_en_meren).

opslag(zoet,water,rivieren_en_meren) :-
	url("https://nl.wikipedia.org/wiki/Bron_(water)"),
	terrein(hoogteverschillen),
	img("bron.png").


stroming(grondwater) :-
	url("https://nl.wikipedia.org/wiki/Grondwater"),
	verplaatsing("door hoogteverschillen of drukverschillen").

beweging(grondwater) :-
	url("https://nl.wikipedia.org/wiki/Grondwaterstroming"),
	aquifer(grondwater,laag),
	stroming(grondwater).

aquifer(grondwater,laag) :-
	url("https://en.wikipedia.org/wiki/Groundwater"),
	grond_laag(doordringbaar),
	img("Vadose_zone.png").

infiltratie(water,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,"T > 0° C").

infiltreren(onverzadigde_zone) :-
	url("https://nl.wikipedia.org/wiki/Onverzadigde_zone"),
	opslag(regenwater,plassen,wadis,riolen),
	bodem(onverzadigde_zone,boven_aquifer).

opslag(regenwater,plassen,wadis,riolen) :-
	url("https://nl.wikipedia.org/wiki/Vijver"),
        samenvloeien(regenwater),
        grond(temperatuur, "T > 0° C").

infiltratie(water,insluiting) :-
	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").