% name(lab_bergen).
% label("Water proces bij veranderende termperatuur en gelijke druk in de bergen | Fysica | Agregatie | D.V.").


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



% facts

url("https://en.wikipedia.org/wiki/Boiling_point").
url("https://nl.wikipedia.org/wiki/Water").
url("https://nl.wikipedia.org/wiki/Koken_(verdamping)").
waarneming(opstijgende_gasbellen).
luchtdruk(hectoPascal,"P = 795,0 hPa").
water(temperatuur,"T = 93,4 graden C").
water(temperatuur,"T kleiner 93,4 graden C").
water(temperatuur,"T groter 0 graden C").
hoogte("1.905 meter").


% rules

% rule checking for tautology
different(X, X) :- !, fail.
different(X, Y).
different(status(water,vloeibaar,in_de_bergen),status(water,kokend,in_de_bergen)).

prove :- process("7_minuten",opwarmen,koken,in_open_pan).

%rules for causation graph
process("7_minuten",opwarmen,koken,in_open_pan) :-
	url("https://nl.wikipedia.org/wiki/Koken_(verdamping)"),
	different(status(water,vloeibaar,in_de_bergen),status(water,kokend,in_de_bergen)),
	status(water,vloeibaar,in_de_bergen),
	status(water,kokend,in_de_bergen).

status(water,kokend,in_de_bergen) :-
	url("https://en.wikipedia.org/wiki/Boiling_point"),
	waarneming(opstijgende_gasbellen),
	hoogte("1.905 meter"),
	water(temperatuur,"T = 93,4 graden C"),
	luchtdruk(hectoPascal,"P = 795,0 hPa").

status(water,vloeibaar,in_de_bergen) :-
	url("https://nl.wikipedia.org/wiki/Water"),
	hoogte("1.905 meter"),
	water(temperatuur,"T kleiner 93,4 graden C"),
	water(temperatuur,"T groter 0 graden C"),
	luchtdruk(hectoPascal,"P = 795,0 hPa").