fact(room(r1994)).
fact(room(r1960)).
fact(room(r2007)).
fact(room(r2004)).
fact(room(r2001)).
fact(room(r1997)).
fact(room(r1973)).
fact(room(r1970)).
fact(room(r1981)).
fact(room(r1978)).
fact(room(r1985)).
fact(room(r1988)).
fact(room(r1991)).


fact(locate(r1978,jacques)).
fact(locate(r1978,giuzeppe)).
fact(locate(r1981,nothing)).
fact(locate(r1960,marie)).
fact(locate(r1970,oscar)).
fact(locate(r1973,nothing)).
fact(locate(r2007,hans)).
fact(locate(r2004,heidi)).
fact(locate(r2001,lucie)).
fact(locate(r1997,kolonel)).
fact(locate(r1994,mona)).
fact(locate(r1991,lisa)).
fact(locate(r1988,nothing)).
fact(locate(r1985,rolf)).
fact(locate(r1985,claire)).


fact(suspect(oscar,1)).
fact(suspect(jacques,1)).
fact(suspect(giuzeppe,1)).
fact(suspect(rolf,1)).
fact(suspect(claire,1)).
fact(suspect(lisa,1)).
fact(suspect(marie,1)).
fact(suspect(hans,1)).
fact(suspect(heidi,1)).
fact(suspect(lucie,1)).
fact(suspect(kolonel,1)).


fact(gender(oscar,m)).
fact(gender(jacques,m)).
fact(gender(giuzeppe,m)).
fact(gender(rolf,m)).
fact(gender(claire,f)).
fact(gender(lisa,f)).
fact(gender(marie,f)).
fact(gender(hans,m)).
fact(gender(heidi,f)).
fact(gender(lucie,f)).
fact(gender(kolonel,m)).
fact(gender(mona_lisa,f)).


fact(crime(murder,mona_lisa,last_night,2230,room4)).

fact(victim(mona)).

fact(victim_found(2230)).

fact(victim_life(2100)).


fact(object(ask,last_night)).
fact(object(ask,mona)).


goal(begin_to_solve).
goal(start_comm).