:- dynamic(fact/1).
:- retractall(fact(_)).
:- retractall(derived_fact(_,_)).

/* --- Defining operators --- */

:- op(800, fx, if).
:- op(700, xfx, then).
:- op(200, xfy, and).

:- dynamic(wrong/1).
:- retractall(wrong(_)).

%:- consult(data).

:- nl, writeln('type go. om met het programma te beginnen'),nl.

go :-
	retractall(wrong(_)),
	retractall(fact(_)),
	
	writeln('welkom bij dokter doolittle diagnose systeem'),
	writeln('vult aub alle symptomen in die u heeft met een . erachter'),
	writeln('bijvoorbeeld: klierzwellingen. hoofdpijn. moeheid.'),
	writeln('vul q. in als u klaar bent'),
	readsymptoms,!,
	(	valuefacts
		;
		writeln('einde van het programma')
	). 

readsymptoms :-
	read(Z),
	(	string_length(Z,1)
		;
		%abstraction layer here??
		assert(fact(symptoom(Z))),
		writeln('vult aub het volgende symptoom in: '),
		readsymptoms
		
	).

:- dynamic(numberscor/5).

valuefacts :-
	retractall(numberscor(_,_,_,_,_)),
	(	if Condition then Conclusion,
		numbercor(Condition,R,U,W),
				%Right, Unknown, Wrong
		assert(numberscor(Condition,R,U,W, Conclusion)),
		%	writeln(numbercor(Condition,R,U,W, Conclusion)),
		fail
		;
		true
	),
	writeln('beste match op dit moment:  '),
	returnhighestfact(numberscor(Condition,_,_,_,CurConclusion)),!,
	writeln(Condition - CurConclusion),
	ask_question(Condition).


returnhighestfact(Max) :-
        findall(R^numberscor(Condition, R, U, 0, Conclusion), numberscor(Condition,R,U,0,Conclusion), List),
        findmax(List, 0^foo, MaxR^Max),
	checkR(MaxR, Max), !.

getnumscor(numberscor(Cond, R, U, W, Concl), Cond, R, U, W, Concl).

checkR(R, Max) :-
        getnumscor(Max, _Cond, R, U, _W, Concl),
        R >= 4, U is 0,
        writeln('U bent ziek:'), writeln(Concl),!, fail.
	
checkR(_R, _Condition). % :- writeln('(nog) niet ziek').

findmax([], Result, Result).

%not higher, accu is still best match
findmax([HR^_|Tail], AR^Accu, Result) :-
        nonvar(AR), nonvar(HR),
        AR >= HR,
        findmax(Tail, AR^Accu, Result).

%found a higher match
findmax([HR^H|Tail], AR^_, Result) :-
        nonvar(AR), nonvar(HR),
        AR < HR,
        findmax(Tail, HR^H, Result).






%findbestfact(Z) :-

ask_question(Condition) :-
	findunknown(Condition,Unknown),	
	write('onze vraag: '),
	question(Unknown),
	valuefacts.	%value all facts to restart 

question(symptoom(Unknown)) :-
	write('heeft u het symptoom: '),writeln(Unknown),!,
	read(Answer),
	procesquestion(symptoom(Unknown),Answer).


question(sexe(Unknown)) :-
	write('heeft u de sekse: '),writeln(Unknown),!,
	read(Answer),
	procesquestion(sexe(Unknown),Answer).


question(Unknown) :-
	write('heeft u: '),writeln(Unknown),!,
	read(Answer),
	procesquestion(Unknown,Answer).
	%assert something here

manvrouw(man,vrouw).
manvrouw(vrouw,man).

procesquestion(sexe(Unknown),Yes) :-
	shortcut(Yes,ja),
	assert(fact(sexe(Unknown))),
	manvrouw(Unknown,Other),
	assert(wrong(sexe(Other))),
	writeln(new_fact_true(sexe(Unknown))),
	writeln(new_fact_wrong(sexe(Other))).

procesquestion(sexe(Unknown),Yes) :-
	shortcut(Yes,nee),
	assert(wrong(sexe(Unknown))),
	manvrouw(Unknown,Other),
	assert(fact(sexe(Other))),
	writeln(new_fact_wrong(sexe(Unknown))),
	writeln(new_fact_true(sexe(Other))).

procesquestion(Symptrue,Yes) :-
	shortcut(Yes,ja),
	assert(fact(Symptrue)),
	writeln(adding_fact(Symptrue)).

procesquestion(Symptwrong,No) :-
	shortcut(No,nee),
	assert(wrong(Symptwrong)),
	writeln(new_fact_wrong(Symptwrong)).

shortcut(ja, ja).
shortcut(j, ja).
shortcut(yes, ja).
shortcut(klopt, ja).
shortcut(zeker, ja).
shortcut(y, ja).
shortcut(nee, nee).
shortcut(n, nee).
shortcut(no, no).
shortcut(man, man).
shortcut(m, man).
shortcut(male, man).
shortcut(vrouw, vrouw).
shortcut(v, vrouw).
shortcut(female, vrouw).
shortcut(f, vrouw).

findunknown(Cond1 and Cond2,Unknown) :-
	!,
	(	findunknown(Cond1,Unknown);
		findunknown(Cond2,Unknown);
		fail
	).

findunknown(Condition,_Unknown) :-
	fact(Condition),
	!,fail.

findunknown(Condition,_Unknown) :-
	wrong(Condition),
	!,fail.

findunknown(Unknown,Unknown) :-
	!.

numbercor(Condition,1,0,0) :-
	fact( Condition),!.

numbercor(Condi1 and Condi2,R,U,W) :-
	numbercor(Condi1,R1,U1,W1),
	numbercor(Condi2,R2,U2,W2),
	R is R1 + R2,
	U is U1 + U2,
	W is W1 + W2,!.

numbercor(Condition,0,0,1) :-
	wrong(Condition),!.

numbercor(_Condition,0,1,0) :-
	!.

/*
not used anymopre..
how(C) :-
	derived_fact(How,C),
	write(C),write(' is derived from '),writeln(How),
	how(How).

how(C) :-
	not(derived_fact(_How,C)),
	fact(C),
	write(C),writeln(' is a fact known in the data.pl').

how(A and B) :-
	how(A),
	how(B).
*/	


%Familie: malaria
if symptoom('koorts') and symptoom('temperatuur > 40') and symptoom('koorts') and symptoom('koude rillingen') and symptoom('hevige transpiratie') and symptoom('hoofdpijn') and symptoom('diarree') and symptoom('braken') and symptoom('stuipen') then ziekte('malaria tropica').

if symptoom('koorts') and symptoom('koude rillingen') and symptoom('hevige transpiratie') and symptoom('hoofdpijn') and symptoom('diarree') and symptoom('braken') and symptoom('stuipen') and symptoom('koortspieken om de 48 uur') then ziekte('malaria tertiana').
if symptoom('koorts') and symptoom('koude rillingen') and symptoom('hevige transpiratie') and symptoom('hoofdpijn') and symptoom('diarree') and symptoom('braken') and symptoom('stuipen') and symptoom('koortspieken om de 72 uur') then ziekte('malaria quartana').

%Familie: andere ziekten
if symptoom('hoofdpijn') and symptoom('hoofdpijn achter ogen') and symptoom('spierpijn') and symptoom('gewrichtspijn') then ziekte('dengue').
if symptoom('onregelmatige koorts') and symptoom('klierzwellingen') and symptoom('huidafwijkingen') and symptoom('psychische veranderingen') then ziekte('afrikaanse slaapziekte').
if symptoom('onregelmatige koorts') and symptoom('hartafwijkingen') then ziekte('ziekte van chagas').
if symptoom('onregelmatige koorts') and symptoom('afwijking diverse organen') then ziekte('Kala azar').
if symptoom('onregelmatige koorts') and symptoom('hoofdpijn') and symptoom('rugpijn') and symptoom('gewrichtspijn') then ziekte('Brucellose').

if symptoom('koorts') and symptoom('huiduitslag')  and symptoom('lymfeklierpijn') then ziekte('Tick-typhus').

if sexe('man') and symptoom('Etterige afscheiding in uretha/pisbuis') then ziekte('Gonorroe').
if sexe('vrouw') and symptoom('Versterkte vaginale afscheiding') then ziekte('Gonorroe').

if symptoom('Harde niet pijnlijke zweer op geslachtsdeel of anus') then ziekte('Syfilis').

if symptoom('pijnlijke zweren aan geslachtsorganen') then ziekte('Ulcus molle').


if symptoom('hardnekkige zweren') then ziekte('kleine huidwondjes').
if symptoom('jeukende rode pukkels') and symptoom('rode vlekken')  then ziekte('pricky heat').

if symptoom('kleine licht-schilferende lichte vlekken') then ziekte('Pityriasis versicolor').

if symptoom('lichte huidvlekken') and symptoom('gevoelloze huidvlekken') then ziekte('lepra').

if symptoom('framboosachtige huidafwijkingen') then ziekte('framboesia').

if symptoom('steenpuisten') then ziekte('myiasis').

if symptoom('hard knobbeltje') and symptoom('erwtgroot hard knobbeltje') then ziekte('zandvlooien').

if symptoom('lastig jeukende huidafwijkingen') then ziekte('mijten').

if symptoom('jeuk') and symptoom('huiduitslag') then ziekte('luizen en vlooien').

if symptoom('vochtverlies') then ziekte('turista').

if symptoom('waterdunne diarree') and symptoom('opgezet gevoel') and symptoom('pijn in de buik') and symptoom('misselijkheid') and symptoom('frequente brijig-vettige ontlasting') then ziekte('giardiasis').

if symptoom('hoge koorts') and symptoom('heftige krampende aandrang') and symptoom('ontlasting met bloederige slijm') then ziekte('bacillaire dysenterie').

if symptoom('hoge koorts') and symptoom('obstipatie') and symptoom('hoofdpijn') and symptoom('enkele dagen stuffig') then ziekte('typhoid').

if symptoom('waterdunne diarree') then ziekte('cholera').

if symptoom('patient geel') and symptoom('urine donker') and symptoom('ontlasting licht') and symptoom('pijn rechtsboven in buik') and symptoom('misselijkheid') then ziekte('geelzucht').

if symptoom('worm in ontlasting') and symptoom('buikpijn') and symptoom('jeuk aan anus') then ziekte('aarsmaden').

if symptoom('buikpijn') and symptoom('diarree') then ziekte('zweepwormen').

if symptoom('bloedarmoede') and symptoom('zware infectie') then ziekte('mijnwormen').

if symptoom('buikpijn') and symptoom('diarree') and symptoom('netelroosachtige huidafwijkingen') then ziekte('strongyloides stercoralis').

if symptoom('langzaam voortkruipende huidgangetjes') then ziekte('larva migrans').

if symptoom('wormen in ontlasting') and symptoom('buikpijn') then ziekte('taenia saginata').

if symptoom('knobbeltjes') and symptoom('epilepsie') then ziekte('taenia solium').

if symptoom('buikpijn') and symptoom('diarree') then ziekte('hymenolepis nana').

if symptoom('klachten bij urineren') then ziekte('schistosoma haematobium').