5 Enter H *page* S Bonjour, Sherlock. I am HercuLOG. We have to solve the mystery together! 32 Enter H *page* S ~fact(start_comm_sherlock) 1:11 4 H *page* S ~fact(start_comm_sherlock) 1:28 Enter S *page* H Bonjour, Hercule. I am SherLOG. We have to solve the mystery together! 1:41 Enter S *page* H ~fact(start_comm_hercule) 1:50 4 H *page* S ~fact(start_comm_sherlock) 2:11 3 H *page* S ~fact(visit_room(hercule,r1994))~fact(object(hercule,look,mona,r1994))~fact(object(hercule,look,ski_jacket,r1994))~fact(object(hercule,look,gun,r1994))~fact(object(hercule,ask,last_night)) 2:19 4 S *page* H ~fact(start_comm_hercule) 2:29 4 S *page* H ~fact(visit_room(sherlock,r1994))~fact(object(sherlock,ask,mona)) 3:14 2 H *page* S ~fact(object(hercule,ask,mona))~fact(object(hercule,ask,ski_jacket))~fact(object(hercule,ask,gun))~fact(visit_room(hercule,r1991))~fact(visit_room(hercule,r1988)) 3:19 Lobby S *page* H ~fact(visit_room(sherlock,r1960)) 3:51 1 H *page* S ~fact(visit_room(hercule,r1985)) 4:12 Lobby S *page* H ~fact(object(sherlock,read,registry,r1960))~fact(object(sherlock,read,phone_log,r1960))~fact(kill_reason(sherlock,money,0.5)) 5:00 8 S *page* H ~fact(visit_room(sherlock,r2007)) 5:18 Bar H *page* S ~fact(visit_room(hercule,r1978))~fact(kill_reason(hercule,work,0.5))~fact(find_has(hercule,rolf,motives,work,1)) 6:02 7 S *page* H ~fact(visit_room(sherlock,r2004))~fact(kill_reason(sherlock,love,0.5))~fact(find_has(sherlock,hans,opportunity,2100,1)) 6:38 Bar H *page* S ~fact(object(hercule,ask,painting))~fact(object(hercule,look,painting,r1978)) 7:20 6 S *page* H ~fact(visit_room(sherlock,r2001)) 7:30 Priv H *page* S ~fact(visit_room(hercule,r1981)) 7:58 Priv H *page* S ~fact(object(hercule,read,insurance_contract,r1981)) 8:32 5 S *page* H ~fact(visit_room(sherlock,r1997))~fact(find_has(sherlock,heidi,motives,love,1)) 8:40 K H *page* S ~fact(visit_room(hercule,r1970)) 9:42 Resto S *page* H ~fact(visit_room(sherlock,r1973))~fact(find_has(sherlock,kolonel,opportunity,2100,1)) 9:49 Resto H *page* S ~fact(visit_room(hercule,r1973)) 10:40 LC S *page* H ~fact(what_about(sherlock,look,painting,r1978))~fact(did_you(sherlock,ask,last_night)) 10:46 UC H *page* S ~fact(what_about(hercule,read,registry,r1960))~fact(did_you(hercule,ask,last_night)) 11:21 Lobby S *page* H ~fact(number(sherlock,ask,last_night,5,from,11))~fact(answ_ag(sherlock,read,registry,r1960,'&fact(record(marie,lobby,47,propietar,private))&fact(record(oscar,kitchen,52,chef,private))&fact(record(jacques,bar,25,bartender,unknowm))&fact(record(heidi,r2004,37,chambermaid,r2004))&fact(record(rolf,r1985,40,insurance_agent,zurich))&fact(record(claire,r1985,39,architect,zurich))&fact(record(lisa,r1991,20,art_student,manchester))&fact(record(mona,r1994,32,insurance_agent,lugano))&fact(record(giuzeppe,r1994,35,doctor,lugano))&fact(record(kolonel,r1997,68,retired_kolonel,lucerne))&fact(record(lucie,r2001,20,student,lausanne))&fact(record(hans,r2007,ski_instructer,biel))'))~fact(visit_room(sherlock,r1960))~fact(what_about(sherlock,read,insurance_contract,r1981))~fact(did_you(sherlock,ask,mona)) 11:29 3 H *page* S ~fact(number(hercule,ask,last_night,6,from,11))~fact(answ_ag(hercule,look,painting,r1978,'&fact(descr(painting,author,magritte))&fact(descr(painting,title,the_fool_on_the_hill))&fact(descr(painting,age,early))'))~fact(visit_room(hercule,r1991))~fact(what_about(hercule,read,phone_log,r1960))~fact(did_you(hercule,ask,mona)) 12:00 8 S *page* H ~fact(number(sherlock,ask,mona,5,from,11))~fact(answ_ag(sherlock,read,phone_log,r1960,'&fact(phone_call(r1994,1804,10))&fact(phone_call(private,2028,625))&fact(phone_call(r1985,2201,65))&fact(phone_call(r1994,2203,827))'))~fact(visit_room(sherlock,r2007))~fact(did_you(sherlock,ask,ski_jacket)) 12:12 1 H *page* S ~fact(number(hercule,ask,mona,6,from,11))~fact(answ_ag(hercule,read,insurance_contract,r1981,'&fact(insured(painting,oscar,1000000))&fact(descr(painting,insured,title,the_fool_under_the_hill))&fact(descr(painting,insured,author,magritte))&fact(descr(painting,insured,owner,oscar))&fact(descr(painting,insured,who,mona))&fact(descr(painting,insured,value,1000000))'))~fact(keep(hercule,ask,last_night))~fact(visit_room(hercule,r1985))~fact(did_you(hercule,ask,ski_jacket)) 12:39 K S *page* H ~fact(number(sherlock,ask,ski_jacket,5,from,11))~fact(visit_room(sherlock,r1970))~fact(did_you(sherlock,ask,gun)) 13:01 Lobby H *page* S ~fact(number(hercule,ask,ski_jacket,6,from,11))~fact(number(hercule,ask,gun,6,from,11))~fact(keep(hercule,ask,mona))~fact(keep(hercule,ask,ski_jacket))~fact(visit_room(hercule,r1960)) 13:45 Bar S *page* H ~fact(visit_room(sherlock,r1978))~fact(did_you(sherlock,ask,painting))~fact(find_has(sherlock,oscar,opportunity,1800,1))~fact(find_has(sherlock,oscar,weapon,access,1)) 14:10 5 H *page* S ~fact(did_you(hercule,ask,gun))~fact(did_you(hercule,ask,gun))~fact(find_has(hercule,oscar,opportunity,1800,1))~fact(number(hercule,ask,painting,7,from,11))~fact(visit_room(hercule,r1997)) 15:21 6 H *page* S ~fact(kill_reason(hercule,money,0.5))~fact(find_has(hercule,oscar,motives,money,1))~fact(visit_room(hercule,r2001))~fact(did_you(hercule,ask,painting))~fact(find_has(hercule,kolonel,opportunity,2100,1)) 15:27 1 S *page* H ~fact(number(sherlock,ask,gun,8,from,11))~fact(visit_room(sherlock,r1985))~fact(find_has(sherlock,giuzeppe,motives,love,1)) 16:10 6 H *page* S We have solved the mystery. I hope Pierre will agree with our solution! 16:10 6 H *page* S The criminal is oscar 16:13 6 H *page* S I am disconnecting now. Ciao.. 17:07 3 S *page* H ~fact(number(sherlock,ask,painting,10,from,11))~fact(visit_room(sherlock,r1991))~fact(kill_reason(sherlock,work,0.5))~fact(find_has(sherlock,rolf,motives,work,1))~fact(find_has(sherlock,rolf,weapon,access,1)) 18:11 LC S *page* H ~fact(find_has(sherlock,oscar,motives,money,1)) 18:27 LC S *page* H We have solved the mystery. I hope Pierre will agree with our solution! 18:27 LC S *page* H The criminal is oscar 18:30 LC S *page* H I am disconnecting now. Ciao..