:- style_check(-discontiguous).

label("neerslag_nimbostratus_aardatmosfeer | Nimbostratus | Meteorologie | EDAG").
edag(neerslag_nimbostratus_aardatmosfeer,"./neerslag_nimbostratus_aardatmosfeer/neerslag_nimbostratus_aardatmosfeer.svg").
url("https://nl.wikipedia.org/wiki/Condensatiekern").
url("https://nl.wikipedia.org/wiki/Waterkringloop").
url("https://nl.wikipedia.org/wiki/Coalescentie_(meteorologie)").
url("https://nl.wikipedia.org/wiki/Nimbostratus").
url("https://www.meteo.be/nl/weer/verwachtingen/neerslag").
url("https://nl.wikipedia.org/wiki/Regen_(neerslag)").
url("https://nl.wikipedia.org/wiki/Sneeuw").
url("https://nl.wikipedia.org/wiki/Virga_(wolk)").
url("https://nl.wikipedia.org/wiki/Bodem").
text("Lucht koelt af tot het dauwpunt.").
ltext("De waterdamp klontert samen rond microscopisch kleine deeltjes in de lucht, zoals stof of zoutkristallen, die als condensatiekernen dienen.").
verzadiging(lucht,"relatieve vochtigheid = 100%").
ltext("De hoeveelheid waterdamp die de lucht maximaal kan bevatten, neemt exponentieel toe met de temperatuur, zo ongeveer met 7% per graad Celsius stijging. Dit betekent dat warme lucht aanzienlijk meer vocht kan opnemen dan koude lucht.").
droplets(aanvankelijk,"gemiddeld 20 μm").
ltext("Als de waterdruppels en wolkenelementen verschillend van gewicht zijn, zullen zij met verschillende snelheden vallen, waardoor ze met elkaar in botsing kunnen komen. Na de samenvloeiing heeft de druppel een groter gewicht en hogere valsnelheid.").
text("Aangroei van 20μm tot 2mm").
ltext("Een nimbostratuswolk is een meerlagige, amorfe, vrijwel uniforme en vaak donkergrijze wolk die meestal aanhoudend regen, sneeuw of ijzel produceert, maar geen bliksem of onweer.").
ltext("De hoeveelheid waterdamp die de lucht maximaal kan bevatten, neemt exponentieel toe met de temperatuur, zo ongeveer met 7% per graad Celsius stijging. Dit betekent dat warme lucht aanzienlijk meer vocht kan opnemen dan koude lucht.").
hoogte("2.000 tot 4.000 m").
waterdruppels("Vallen door wolkenbasis.").
temperatuur(regen,"Onder wolkenbasis > 0° C.").
ltext("Sneeuw ontwikkelt zich uit waterdeeltjes die hoog in de atmosfeer beneden hun vriespunt afkoelen, en vervolgens als gekristalliseerde vlokken neervallen.").
temperatuur(bodem,"T > 0°C").
ltext("Sneeuwwolken ontstaan wanneer vocht in de atmosfeer afkoelt tot onder het vriespunt, waardoor waterdamp direct verandert in ijskristallen rond kleine deeltjes die ijskernen worden genoemd.").
ltext("Deze eerste ijskristallen worden vervolgens groter door meer waterdamp op te nemen en tegen andere ijskristallen en onderkoelde waterdruppels in de wolk aan te botsen. Naarmate ze zich ophopen en zwaarder worden, worden ze sneeuwvlokken die zwaar genoeg zijn om uit de wolk te vallen.").
temperatuur(sneeuw,"boven wolkenbasis < -5°C").
temperatuur(sneeuw,"onder wolkenbasis < 0°C").
ltext("Een virga is een verticale of schuine schacht van regen, sneeuw, ijs of een andere neerslag die uit een wolk valt, maar de grond niet bereikt.").
ltext("De virga valt neer door een droge, onverzadigde luchtmassa. Alle soorten wolken die neerslag veroorzaken, kunnen virga’s vormen.").
img("Wolken.png").
img("Watercyclus.png").
img("Virga.png").
img("In_de_sneeuw.png").
img("Nimbostrarus.png").
img("In_de_regen.png").
prove :-
    wolkvorming(waterdruppels, wolkelementen),
    vorming(nimbostratus,wolk),
    xor(nimbostratus,uitregenen),
    afvloeien(regen,wadis,grachten,riolen),
    xor(nimbostratus,uitsneeuwen),
    smelten(sneeuw,wadis,grachten,riolen),
    xor(nimbostratus,virga).
condensaat(stijgende,waterdamp,atmosfeer) :-
    url("https://nl.wikipedia.org/wiki/Condensatiekern"),
	text("Lucht koelt af tot het dauwpunt."),
	ltext("De waterdamp klontert samen rond microscopisch kleine deeltjes in de lucht, zoals stof of zoutkristallen, die als condensatiekernen dienen."),
	ltext("De hoeveelheid waterdamp die de lucht maximaal kan bevatten, neemt exponentieel toe met de temperatuur, zo ongeveer met 7% per graad Celsius stijging. Dit betekent dat warme lucht aanzienlijk meer vocht kan opnemen dan koude lucht."),
	    verzadiging(lucht,"relatieve vochtigheid = 100%"),
	    droplets(aanvankelijk,"gemiddeld 20 μm"),
    img("Watercyclus.png").
wolkvorming(waterdruppels, wolkelementen) :-
    url("https://nl.wikipedia.org/wiki/Waterkringloop"),
    condensaat(stijgende,waterdamp,atmosfeer),
    coalescentie(waterdruppels,wolken).
coalescentie(waterdruppels,wolken) :-
    url("https://nl.wikipedia.org/wiki/Coalescentie_(meteorologie)"),
	ltext("Als de waterdruppels en wolkenelementen verschillend van gewicht zijn, zullen zij met verschillende snelheden vallen, waardoor ze met elkaar in botsing kunnen komen. Na de samenvloeiing heeft de druppel een groter gewicht en hogere valsnelheid."),
	text("Aangroei van 20μm tot 2mm"),
    img("Wolken.png").
vorming(nimbostratus,wolk) :-
    url("https://nl.wikipedia.org/wiki/Waterkringloop"),
    coalescentie(waterdruppels,wolken),
    wolk(nimbostratus).
wolk(nimbostratus) :-
    url("https://nl.wikipedia.org/wiki/Nimbostratus"),
	ltext("Een nimbostratuswolk is een meerlagige, amorfe, vrijwel uniforme en vaak donkergrijze wolk die meestal aanhoudend regen, sneeuw of ijzel produceert, maar geen bliksem of onweer."),
	    hoogte("2.000 tot 4.000 m"),
    img("Nimbostrarus.png").
xor(nimbostratus,uitregenen) :-
    url("https://www.meteo.be/nl/weer/verwachtingen/neerslag"),
    wolk(nimbostratus),
    regen(bodem,planten,constructies).
regen(bodem,planten,constructies) :-
    url("https://nl.wikipedia.org/wiki/Regen_(neerslag)"),
	    waterdruppels("Vallen door wolkenbasis."),
	    temperatuur(regen,"Onder wolkenbasis > 0° C."),
    img("In_de_regen.png").
afvloeien(regen,wadis,grachten,riolen) :-
	regen(bodem,planten,constructies),
	opvang(neerslag,wadis,grachten,riolen).
opvang(neerslag,wadis,grachten,riolen) :-
	url("https://nl.wikipedia.org/wiki/Bodem"),
		temperatuur(bodem,"T > 0°C").
xor(nimbostratus,uitsneeuwen) :-
    url("https://nl.wikipedia.org/wiki/Sneeuw"),
    wolk(nimbostratus),
    sneeuw(bodem,planten,constructies).
smelten(sneeuw,wadis,grachten,riolen) :-
	sneeuw(bodem,planten,constructies),
	opvang(neerslag,wadis,grachten,riolen).
sneeuw(bodem,planten,constructies) :-
    url("https://nl.wikipedia.org/wiki/Sneeuw"),
	ltext("Sneeuwwolken ontstaan wanneer vocht in de atmosfeer afkoelt tot onder het vriespunt, waardoor waterdamp direct verandert in ijskristallen rond kleine deeltjes die ijskernen worden genoemd."),
	ltext("Deze eerste ijskristallen worden vervolgens groter door meer waterdamp op te nemen en tegen andere ijskristallen en onderkoelde waterdruppels in de wolk aan te botsen. Naarmate ze zich ophopen en zwaarder worden, worden ze sneeuwvlokken die zwaar genoeg zijn om uit de wolk te vallen."),
	    temperatuur(sneeuw,"boven wolkenbasis < -5°C"),
	    temperatuur(sneeuw,"onder wolkenbasis < 0°C"),
    img("In_de_sneeuw.png").
xor(nimbostratus,virga) :-
    url("https://nl.wikipedia.org/wiki/Virga_(wolk)"),
    wolk(nimbostratus),
    virga(droge,storm,zeldzaam).
virga(droge,storm,zeldzaam) :-
    url("https://nl.wikipedia.org/wiki/Virga_(wolk)"),
	ltext("Een virga is een verticale of schuine schacht van regen, sneeuw, ijs of een andere neerslag die uit een wolk valt, maar de grond niet bereikt."),
	ltext("De virga valt neer door een droge, onverzadigde luchtmassa. Alle soorten wolken die neerslag veroorzaken, kunnen virga’s vormen."),
    img("Virga.png").