-> 45:36 dHome H @mood ARTIFICIAL -> 45:37 dHome H @move me to Detective's Home -> 45:40 dHome H init_mona -> 0 Enter S *moveto* Enter,dHome -> 0 Enter S *moveto* dHome,Enter -> 0 Enter H *moveto* dHome,Enter -> 4 Enter H page sherlock Bonjour, Sherlock. I am HercuLOG. We have to solve the mystery together! -> 4 Enter H *page* S Bonjour, Sherlock. I am HercuLOG. We have to solve the mystery together! -> 8 Enter S page hercule ~fact(start_comm_hercule) -> 8 Enter S *page* H ~fact(start_comm_hercule) -> 11 Enter H page hercule &fact(stopread_herculog) -> 11 Enter H *page* H &fact(stopread_herculog) -> 19 Enter H page sherlock ~fact(start_comm_sherlock) -> 20 Enter H *page* S ~fact(start_comm_sherlock) -> 28 Enter H page hercule &fact(stopread_herculog) -> 29 Enter H *page* H &fact(stopread_herculog) -> 30 Enter H walk to #1994 -> 30 Lobby H *moveto* Enter,Lobby -> 31 LC H *moveto* Lobby,LC -> 32 4 H *moveto* LC,4 -> 39 4 H page hercule &fact(stopread_herculog) -> 39 4 H *page* H &fact(stopread_herculog) -> 40 4 H page sherlock ~fact(visit_room(hercule,r1994))~fact(object(hercule,ask,last_night))~fact(object(hercule,ask,mona)) -> 40 4 H *page* S ~fact(visit_room(hercule,r1994))~fact(object(hercule,ask,last_night))~fact(object(hercule,ask,mona)) -> 49 4 H page hercule &fact(stopread_herculog) -> 50 4 H *page* H &fact(stopread_herculog) -> 50 4 H look #1994 -> 51 4 H *look* 4 -> 55 4 H page hercule &fact(stopread_herculog) -> 56 4 H *page* H &fact(stopread_herculog) -> 1:02 4 H page hercule &fact(stopread_herculog) -> 1:02 4 H *page* H &fact(stopread_herculog) -> 1:06 4 H page sherlock ~fact(object(hercule,ask,ski_jacket))~fact(object(hercule,ask,gun))~fact(object(hercule,look,mona,r1994))~fact(object(hercule,look,ski_jacket,r1994))~fact(object(hercule,look,gun,r1994)) -> 1:06 4 H *page* S ~fact(object(hercule,ask,ski_jacket))~fact(object(hercule,ask,gun))~fact(object(hercule,look,mona,r1994))~fact(object(hercule,look,ski_jacket,r1994))~fact(object(hercule,look,gun,r1994)) -> 1:15 4 H page hercule &fact(stopread_herculog) -> 1:15 4 H *page* H &fact(stopread_herculog) -> 1:16 4 H look mona -> 1:16 4 H *look* Mona Lisa Vesuvio -> 1:21 4 H page hercule &fact(stopread_herculog) -> 1:21 4 H *page* H &fact(stopread_herculog) -> 1:22 4 H look ski jacket -> 1:22 4 H *look* Ski Jacket -> 1:27 4 H page hercule &fact(stopread_herculog) -> 1:27 4 H *page* H &fact(stopread_herculog) -> 1:28 4 H look gun -> 1:28 4 H *look* Gun -> 1:33 4 H page hercule &fact(stopread_herculog) -> 1:33 4 H *page* H &fact(stopread_herculog) -> 1:39 4 H page hercule &fact(stopread_herculog) -> 1:40 4 H *page* H &fact(stopread_herculog) -> 1:43 4 H walk to #1991 -> 1:43 LC H *moveto* 4,LC -> 1:45 3 H *moveto* LC,3 -> 1:52 3 H page hercule &fact(stopread_herculog) -> 1:52 3 H *page* H &fact(stopread_herculog) -> 1:53 3 H page sherlock ~fact(visit_room(hercule,r1991)) -> 1:54 3 H *page* S ~fact(visit_room(hercule,r1991)) -> 2:02 3 H page hercule &fact(stopread_herculog) -> 2:03 3 H *page* H &fact(stopread_herculog) -> 2:04 3 H look #1991 -> 2:04 3 H *look* 3 -> 2:09 3 H page hercule &fact(stopread_herculog) -> 2:09 3 H *page* H &fact(stopread_herculog) -> 2:10 3 H ask lisa about last night -> 2:10 3 H *ask* LJ,`last night' -> 2:15 3 H page hercule &fact(stopread_herculog) -> 2:15 3 H *page* H &fact(stopread_herculog) -> 2:16 3 H ask lisa about mona -> 2:17 3 H *ask* LJ,`Mona Lisa Vesuvio' -> 2:21 3 H page hercule &fact(stopread_herculog) -> 2:22 3 H *page* H &fact(stopread_herculog) -> 2:23 3 H ask lisa about ski jacket -> 2:23 3 H *ask* LJ,`jacket' -> 2:28 3 H page hercule &fact(stopread_herculog) -> 2:28 3 H *page* H &fact(stopread_herculog) -> 2:29 3 H ask lisa about gun -> 2:29 3 H *ask* LJ,`gun' -> 2:34 3 H page hercule &fact(stopread_herculog) -> 2:34 3 H *page* H &fact(stopread_herculog) -> 2:40 3 H page hercule &fact(stopread_herculog) -> 2:40 3 H *page* H &fact(stopread_herculog) -> 2:44 3 H walk to #1988 -> 2:44 LC H *moveto* 3,LC -> 2:46 2 H *moveto* LC,2 -> 2:53 2 H page hercule &fact(stopread_herculog) -> 2:53 2 H *page* H &fact(stopread_herculog) -> 2:54 2 H page sherlock ~fact(visit_room(hercule,r1988)) -> 2:55 2 H *page* S ~fact(visit_room(hercule,r1988)) -> 3:03 2 H page hercule &fact(stopread_herculog) -> 3:04 2 H *page* H &fact(stopread_herculog) -> 3:04 2 H look #1988 -> 3:05 2 H *look* 2 -> 3:09 2 H page hercule &fact(stopread_herculog) -> 3:10 2 H *page* H &fact(stopread_herculog) -> 3:16 2 H page hercule &fact(stopread_herculog) -> 3:16 2 H *page* H &fact(stopread_herculog) -> 3:19 Enter S page hercule ~fact(give_facts_nr(monitor))~fact(give_goals_nr(monitor)) -> 3:19 Enter S *page* H ~fact(give_facts_nr(monitor))~fact(give_goals_nr(monitor)) -> 3:20 2 H walk to #1985 -> 3:20 LC H *moveto* 2,LC -> 3:21 1 H *moveto* LC,1 -> 3:29 1 H page hercule &fact(stopread_herculog) -> 3:29 1 H *page* H &fact(stopread_herculog) -> 3:31 1 H page sherlock ~fact(visit_room(hercule,r1985)) -> 3:31 1 H *page* S ~fact(visit_room(hercule,r1985)) -> 3:40 1 H page hercule &fact(stopread_herculog) -> 3:40 1 H *page* H &fact(stopread_herculog) -> 3:41 1 H look #1985 -> 3:41 1 H *look* 1 -> 3:46 1 H page hercule &fact(stopread_herculog) -> 3:46 1 H *page* H &fact(stopread_herculog) -> 3:47 1 H ask rolf about last night -> 3:47 1 H *ask* RL,`last night' -> 3:52 1 H page hercule &fact(stopread_herculog) -> 3:52 1 H *page* H &fact(stopread_herculog) -> 3:54 1 H ask rolf about mona -> 3:54 1 H *ask* RL,`Mona Lisa Vesuvio' -> 3:59 1 H page hercule &fact(stopread_herculog) -> 3:59 1 H *page* H &fact(stopread_herculog) -> 4:00 1 H ask rolf about ski jacket -> 4:00 1 H *ask* RL,`jacket' -> 4:05 1 H page hercule &fact(stopread_herculog) -> 4:06 1 H *page* H &fact(stopread_herculog) -> 4:07 1 H ask rolf about gun -> 4:07 1 H *ask* RL,`gun' -> 4:12 1 H page hercule &fact(stopread_herculog) -> 4:12 1 H *page* H &fact(stopread_herculog) -> 4:13 1 H ask claire about last night -> 4:13 1 H *ask* CL,`last night' -> 4:18 1 H page hercule &fact(stopread_herculog) -> 4:18 1 H *page* H &fact(stopread_herculog) -> 4:20 1 H ask claire about mona -> 4:20 1 H *ask* CL,`Mona Lisa Vesuvio' -> 4:25 1 H page hercule &fact(stopread_herculog) -> 4:25 1 H *page* H &fact(stopread_herculog) -> 4:26 1 H ask claire about ski jacket -> 4:26 1 H *ask* CL,`jacket' -> 4:31 1 H page hercule &fact(stopread_herculog) -> 4:31 1 H *page* H &fact(stopread_herculog) -> 4:32 1 H ask claire about gun -> 4:33 1 H *ask* CL,`gun' -> 4:37 1 H page hercule &fact(stopread_herculog) -> 4:38 1 H *page* H &fact(stopread_herculog) -> 4:44 1 H page hercule &fact(stopread_herculog) -> 4:44 1 H *page* H &fact(stopread_herculog) -> 4:51 1 H walk to #1978 -> 4:51 LC H *moveto* 1,LC -> 4:52 Bar H *moveto* LC,Bar -> 5:00 Bar H page hercule &fact(stopread_herculog) -> 5:00 Bar H *page* H &fact(stopread_herculog) -> 5:01 Bar H page sherlock ~fact(visit_room(hercule,r1978))~fact(kill_reason(hercule,work,0.5))~fact(find_has(hercule,rolf,motives,work,1)) -> 5:01 Bar H *page* S ~fact(visit_room(hercule,r1978))~fact(kill_reason(hercule,work,0.5))~fact(find_has(hercule,rolf,motives,work,1)) -> 5:10 Bar H page hercule &fact(stopread_herculog) -> 5:10 Bar H *page* H &fact(stopread_herculog) -> 5:11 Bar H page sherlock ~facts_nr(hercule,151)~goals_nr(hercule,9) -> 5:12 Bar H *page* S ~facts_nr(hercule,151)~goals_nr(hercule,9) -> 5:20 Bar H page hercule &fact(stopread_herculog) -> 5:21 Bar H *page* H &fact(stopread_herculog) -> 5:22 Bar H look #1978 -> 5:22 Bar H *look* Bar -> 5:27 Bar H page hercule &fact(stopread_herculog) -> 5:27 Bar H *page* H &fact(stopread_herculog) -> 5:28 Bar H ask jacques about last night -> 5:29 Bar H *ask* JS,`last night' -> 5:33 Bar H page hercule &fact(stopread_herculog) -> 5:34 Bar H *page* H &fact(stopread_herculog) -> 5:35 Bar H ask jacques about mona -> 5:35 Bar H *ask* JS,`Mona Lisa Vesuvio' -> 5:40 Bar H page hercule &fact(stopread_herculog) -> 5:40 Bar H *page* H &fact(stopread_herculog) -> 5:42 Bar H ask jacques about ski jacket -> 5:42 Bar H *ask* JS,`jacket' -> 5:47 Bar H page hercule &fact(stopread_herculog) -> 5:47 Bar H *page* H &fact(stopread_herculog) -> 5:48 Bar H ask jacques about gun -> 5:48 Bar H *ask* JS,`gun' -> 5:53 Bar H page hercule &fact(stopread_herculog) -> 5:53 Bar H *page* H &fact(stopread_herculog) -> 5:54 Bar H ask giuzeppe about last night -> 5:55 Bar H *ask* GV,`last night' -> 5:59 Bar H page hercule &fact(stopread_herculog) -> 6:00 Bar H *page* H &fact(stopread_herculog) -> 6:01 Bar H ask giuzeppe about mona -> 6:01 Bar H *ask* GV,`Mona Lisa Vesuvio' -> 6:06 Bar H page hercule &fact(stopread_herculog) -> 6:06 Bar H *page* H &fact(stopread_herculog) -> 6:07 Bar H ask giuzeppe about ski jacket -> 6:08 Bar H *ask* GV,`jacket' -> 6:13 Bar H page hercule &fact(stopread_herculog) -> 6:13 Bar H *page* H &fact(stopread_herculog) -> 6:14 Bar H ask giuzeppe about gun -> 6:14 Bar H *ask* GV,`gun' -> 6:19 Bar H page hercule &fact(stopread_herculog) -> 6:19 Bar H *page* H &fact(stopread_herculog) -> 6:25 Bar H page hercule &fact(stopread_herculog) -> 6:25 Bar H *page* H &fact(stopread_herculog) -> 6:30 Bar H page sherlock ~fact(object(hercule,ask,painting))~fact(object(hercule,look,painting,r1978)) -> 6:30 Bar H *page* S ~fact(object(hercule,ask,painting))~fact(object(hercule,look,painting,r1978)) -> 6:39 Bar H page hercule &fact(stopread_herculog) -> 6:39 Bar H *page* H &fact(stopread_herculog) -> 6:40 Bar H look painting -> 6:40 Bar H *look* Painting -> 6:45 Bar H page hercule &fact(stopread_herculog) -> 6:45 Bar H *page* H &fact(stopread_herculog) -> 6:46 Bar H ask jacques about painting -> 6:46 Bar H *ask* JS,`painting' -> 6:51 Bar H page hercule &fact(stopread_herculog) -> 6:52 Bar H *page* H &fact(stopread_herculog) -> 6:53 Bar H ask giuzeppe about painting -> 6:53 Bar H *ask* GV,`painting' -> 6:58 Bar H page hercule &fact(stopread_herculog) -> 6:58 Bar H *page* H &fact(stopread_herculog) -> 7:04 Bar H page hercule &fact(stopread_herculog) -> 7:04 Bar H *page* H &fact(stopread_herculog) -> 7:09 Bar H walk to #1981 -> 7:09 LC H *moveto* Bar,LC -> 7:10 Priv H *moveto* LC,Priv -> 7:18 Priv H page hercule &fact(stopread_herculog) -> 7:18 Priv H *page* H &fact(stopread_herculog) -> 7:19 Priv H page sherlock ~fact(visit_room(hercule,r1981)) -> 7:19 Priv H *page* S ~fact(visit_room(hercule,r1981)) -> 7:22 Enter S page hercule ~fact(what_about(sherlock,look,painting,r1978)) -> 7:22 Enter S *page* H ~fact(what_about(sherlock,look,painting,r1978)) -> 7:28 Priv H page hercule &fact(stopread_herculog) -> 7:28 Priv H *page* H &fact(stopread_herculog) -> 7:30 Priv H look #1981 -> 7:30 Priv H *look* Priv -> 7:35 Priv H page hercule &fact(stopread_herculog) -> 7:35 Priv H *page* H &fact(stopread_herculog) -> 7:42 Priv H page hercule &fact(stopread_herculog) -> 7:42 Priv H *page* H &fact(stopread_herculog) -> 7:47 Priv H page sherlock ~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(object(hercule,read,insurance_contract,r1981)) -> 7:47 Priv H *page* S ~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(object(hercule,read,insurance_contract,r1981)) -> 7:59 Priv H page hercule &fact(stopread_herculog) -> 7:59 Priv H *page* H &fact(stopread_herculog) -> 7:59 Priv H read insurance contract -> 8:05 Priv H page hercule &fact(stopread_herculog) -> 8:05 Priv H *page* H &fact(stopread_herculog) -> 8:12 Priv H page hercule &fact(stopread_herculog) -> 8:12 Priv H *page* H &fact(stopread_herculog) -> 8:17 Priv H walk to #1960 -> 8:17 LC H *moveto* Priv,LC -> 8:19 Lobby H *moveto* LC,Lobby -> 8:26 Lobby H page hercule &fact(stopread_herculog) -> 8:26 Lobby H *page* H &fact(stopread_herculog) -> 8:28 Lobby H page sherlock ~fact(visit_room(hercule,r1960)) -> 8:28 Lobby H *page* S ~fact(visit_room(hercule,r1960)) -> 8:37 Lobby H page hercule &fact(stopread_herculog) -> 8:37 Lobby H *page* H &fact(stopread_herculog) -> 8:38 Lobby H look #1960 -> 8:38 Lobby H *look* Lobby -> 8:43 Lobby H page hercule &fact(stopread_herculog) -> 8:43 Lobby H *page* H &fact(stopread_herculog) -> 8:45 Lobby H ask marie about last night -> 8:45 Lobby H *ask* MS,`last night' -> 8:50 Lobby H page hercule &fact(stopread_herculog) -> 8:50 Lobby H *page* H &fact(stopread_herculog) -> 8:51 Lobby H ask marie about mona -> 8:51 Lobby H *ask* MS,`Mona Lisa Vesuvio' -> 8:56 Lobby H page hercule &fact(stopread_herculog) -> 8:57 Lobby H *page* H &fact(stopread_herculog) -> 8:58 Lobby H ask marie about ski jacket -> 8:58 Lobby H *ask* MS,`jacket' -> 9:03 Lobby H page hercule &fact(stopread_herculog) -> 9:03 Lobby H *page* H &fact(stopread_herculog) -> 9:04 Lobby H ask marie about gun -> 9:04 Lobby H *ask* MS,`gun' -> 9:09 Lobby H page hercule &fact(stopread_herculog) -> 9:09 Lobby H *page* H &fact(stopread_herculog) -> 9:11 Lobby H ask marie about painting -> 9:11 Lobby H *ask* MS,`painting' -> 9:16 Lobby H page hercule &fact(stopread_herculog) -> 9:16 Lobby H *page* H &fact(stopread_herculog) -> 9:22 Lobby H page hercule &fact(stopread_herculog) -> 9:22 Lobby H *page* H &fact(stopread_herculog) -> 9:29 Lobby H page sherlock ~fact(object(hercule,read,registry,r1960))~fact(object(hercule,read,phone_log,r1960))~fact(kill_reason(hercule,money,0.5)) -> 9:30 Lobby H *page* S ~fact(object(hercule,read,registry,r1960))~fact(object(hercule,read,phone_log,r1960))~fact(kill_reason(hercule,money,0.5)) -> 9:38 Lobby H page hercule &fact(stopread_herculog) -> 9:39 Lobby H *page* H &fact(stopread_herculog) -> 9:40 Lobby H read registry -> 9:45 Lobby H page hercule &fact(stopread_herculog) -> 9:45 Lobby H *page* H &fact(stopread_herculog) -> 9:50 Lobby H read phone log -> 9:55 Lobby H page hercule &fact(stopread_herculog) -> 9:55 Lobby H *page* H &fact(stopread_herculog) -> 10:02 Lobby H page hercule &fact(stopread_herculog) -> 10:02 Lobby H *page* H &fact(stopread_herculog) -> 10:08 Lobby H walk to #1970 -> 10:08 UC H *moveto* Lobby,UC -> 10:09 K H *moveto* UC,K -> 10:17 K H page hercule &fact(stopread_herculog) -> 10:17 K H *page* H &fact(stopread_herculog) -> 10:18 K H page sherlock ~fact(visit_room(hercule,r1970)) -> 10:18 K H *page* S ~fact(visit_room(hercule,r1970)) -> 10:27 K H page hercule &fact(stopread_herculog) -> 10:27 K H *page* H &fact(stopread_herculog) -> 10:28 K H look #1970 -> 10:28 K H *look* K -> 10:33 K H page hercule &fact(stopread_herculog) -> 10:33 K H *page* H &fact(stopread_herculog) -> 10:35 K H ask oscar about last night -> 10:35 K H *ask* OS,`last night' -> 10:40 K H page hercule &fact(stopread_herculog) -> 10:40 K H *page* H &fact(stopread_herculog) -> 10:41 K H ask oscar about mona -> 10:41 K H *ask* OS,`Mona Lisa Vesuvio' -> 10:46 K H page hercule &fact(stopread_herculog) -> 10:47 K H *page* H &fact(stopread_herculog) -> 10:48 K H ask oscar about ski jacket -> 10:48 K H *ask* OS,`jacket' -> 10:53 K H page hercule &fact(stopread_herculog) -> 10:53 K H *page* H &fact(stopread_herculog) -> 10:54 K H ask oscar about gun -> 10:54 K H *ask* OS,`gun' -> 10:59 K H page hercule &fact(stopread_herculog) -> 10:59 K H *page* H &fact(stopread_herculog) -> 11:01 K H ask oscar about painting -> 11:01 K H *ask* OS,`painting' -> 11:06 K H page hercule &fact(stopread_herculog) -> 11:06 K H *page* H &fact(stopread_herculog) -> 11:12 K H page hercule &fact(stopread_herculog) -> 11:12 K H *page* H &fact(stopread_herculog) -> 11:19 K H walk to #1973 -> 11:19 Resto H *moveto* K,Resto -> 11:28 Resto H page hercule &fact(stopread_herculog) -> 11:28 Resto H *page* H &fact(stopread_herculog) -> 11:29 Resto H page sherlock ~fact(visit_room(hercule,r1973))~fact(find_has(hercule,oscar,opportunity,1800,1)) -> 11:29 Resto H *page* S ~fact(visit_room(hercule,r1973))~fact(find_has(hercule,oscar,opportunity,1800,1)) -> 11:38 Resto H page hercule &fact(stopread_herculog) -> 11:38 Resto H *page* H &fact(stopread_herculog) -> 11:39 Resto H look #1973 -> 11:40 Resto H *look* Resto -> 11:44 Resto H page hercule &fact(stopread_herculog) -> 11:45 Resto H *page* H &fact(stopread_herculog) -> 11:51 Resto H page hercule &fact(stopread_herculog) -> 11:51 Resto H *page* H &fact(stopread_herculog) -> 11:57 Resto H page sherlock ~fact(object(hercule,read,sign,r1973)) -> 11:57 Resto H *page* S ~fact(object(hercule,read,sign,r1973)) -> 12:02 Enter S page hercule ~fact(what_about(sherlock,read,sign,r1973)) -> 12:03 Enter S *page* H ~fact(what_about(sherlock,read,sign,r1973)) -> 12:06 Resto H page hercule &fact(stopread_herculog) -> 12:06 Resto H *page* H &fact(stopread_herculog) -> 12:08 Resto H read sign -> 12:13 Resto H page hercule &fact(stopread_herculog) -> 12:13 Resto H *page* H &fact(stopread_herculog) -> 12:19 Resto H page hercule &fact(stopread_herculog) -> 12:19 Resto H *page* H &fact(stopread_herculog) -> 12:25 Resto H walk to #1997 -> 12:25 UC H *moveto* Resto,UC -> 12:26 5 H *moveto* UC,5 -> 12:34 5 H page hercule &fact(stopread_herculog) -> 12:34 5 H *page* H &fact(stopread_herculog) -> 12:35 5 H page sherlock ~fact(answ_ag(hercule,read,sign,r1973,'&fact(opened(resturant,600,2200))'))~fact(visit_room(hercule,r1997)) -> 12:35 5 H *page* S ~fact(answ_ag(hercule,read,sign,r1973,'&fact(opened(resturant,600,2200))'))~fact(visit_room(hercule,r1997)) -> 12:44 5 H page hercule &fact(stopread_herculog) -> 12:44 5 H *page* H &fact(stopread_herculog) -> 12:45 5 H look #1997 -> 12:46 5 H *look* 5 -> 12:50 5 H page hercule &fact(stopread_herculog) -> 12:51 5 H *page* H &fact(stopread_herculog) -> 12:52 5 H ask kolonel about last night -> 12:52 5 H *ask* KVS,`last night' -> 12:57 5 H page hercule &fact(stopread_herculog) -> 12:57 5 H *page* H &fact(stopread_herculog) -> 12:58 5 H ask kolonel about mona -> 12:58 5 H *ask* KVS,`Mona Lisa Vesuvio' -> 13:03 5 H page hercule &fact(stopread_herculog) -> 13:03 5 H *page* H &fact(stopread_herculog) -> 13:04 5 H ask kolonel about ski jacket -> 13:05 5 H *ask* KVS,`jacket' -> 13:09 5 H page hercule &fact(stopread_herculog) -> 13:10 5 H *page* H &fact(stopread_herculog) -> 13:11 5 H ask kolonel about gun -> 13:11 5 H *ask* KVS,`gun' -> 13:16 5 H page hercule &fact(stopread_herculog) -> 13:16 5 H *page* H &fact(stopread_herculog) -> 13:17 5 H ask kolonel about painting -> 13:17 5 H *ask* KVS,`painting' -> 13:22 5 H page hercule &fact(stopread_herculog) -> 13:22 5 H *page* H &fact(stopread_herculog) -> 13:28 5 H page hercule &fact(stopread_herculog) -> 13:29 5 H *page* H &fact(stopread_herculog) -> 13:36 5 H walk to #2001 -> 13:36 UC H *moveto* 5,UC -> 13:38 6 H *moveto* UC,6 -> 13:45 6 H page hercule &fact(stopread_herculog) -> 13:46 6 H *page* H &fact(stopread_herculog) -> 13:46 6 H page sherlock ~fact(visit_room(hercule,r2001))~fact(find_has(hercule,kolonel,opportunity,2100,1))~fact(find_has(hercule,oscar,weapon,access,1))~fact(find_has(hercule,rolf,weapon,access,1)) -> 13:47 6 H *page* S ~fact(visit_room(hercule,r2001))~fact(find_has(hercule,kolonel,opportunity,2100,1))~fact(find_has(hercule,oscar,weapon,access,1))~fact(find_has(hercule,rolf,weapon,access,1)) -> 13:55 6 H page hercule &fact(stopread_herculog) -> 13:56 6 H *page* H &fact(stopread_herculog) -> 13:57 6 H look #2001 -> 13:57 6 H *look* 6 -> 14:02 6 H page hercule &fact(stopread_herculog) -> 14:02 6 H *page* H &fact(stopread_herculog) -> 14:03 6 H ask lucie about last night -> 14:03 6 H *ask* LS,`last night' -> 14:08 6 H page hercule &fact(stopread_herculog) -> 14:08 6 H *page* H &fact(stopread_herculog) -> 14:10 6 H ask lucie about mona -> 14:10 6 H *ask* LS,`Mona Lisa Vesuvio' -> 14:15 6 H page hercule &fact(stopread_herculog) -> 14:15 6 H *page* H &fact(stopread_herculog) -> 14:16 6 H ask lucie about ski jacket -> 14:16 6 H *ask* LS,`jacket' -> 14:21 6 H page hercule &fact(stopread_herculog) -> 14:21 6 H *page* H &fact(stopread_herculog) -> 14:22 6 H ask lucie about gun -> 14:23 6 H *ask* LS,`gun' -> 14:27 6 H page hercule &fact(stopread_herculog) -> 14:28 6 H *page* H &fact(stopread_herculog) -> 14:29 6 H ask lucie about painting -> 14:29 6 H *ask* LS,`painting' -> 14:34 6 H page hercule &fact(stopread_herculog) -> 14:34 6 H *page* H &fact(stopread_herculog) -> 14:40 6 H page hercule &fact(stopread_herculog) -> 14:40 6 H *page* H &fact(stopread_herculog) -> 14:48 6 H walk to #2004 -> 14:48 UC H *moveto* 6,UC -> 14:49 7 H *moveto* UC,7 -> 14:57 7 H page hercule &fact(stopread_herculog) -> 14:57 7 H *page* H &fact(stopread_herculog) -> 14:58 7 H page sherlock ~fact(visit_room(hercule,r2004)) -> 14:58 7 H *page* S ~fact(visit_room(hercule,r2004)) -> 15:07 7 H page hercule &fact(stopread_herculog) -> 15:07 7 H *page* H &fact(stopread_herculog) -> 15:08 7 H look #2004 -> 15:08 7 H *look* 7 -> 15:13 7 H page hercule &fact(stopread_herculog) -> 15:13 7 H *page* H &fact(stopread_herculog) -> 15:14 7 H ask heidi about last night -> 15:15 7 H *ask* HZ,`last night' -> 15:19 7 H page hercule &fact(stopread_herculog) -> 15:20 7 H *page* H &fact(stopread_herculog) -> 15:21 7 H ask heidi about mona -> 15:21 7 H *ask* HZ,`Mona Lisa Vesuvio' -> 15:26 7 H page hercule &fact(stopread_herculog) -> 15:26 7 H *page* H &fact(stopread_herculog) -> 15:27 7 H ask heidi about ski jacket -> 15:27 7 H *ask* HZ,`jacket' -> 15:32 7 H page hercule &fact(stopread_herculog) -> 15:32 7 H *page* H &fact(stopread_herculog) -> 15:34 7 H ask heidi about gun -> 15:34 7 H *ask* HZ,`gun' -> 15:39 7 H page hercule &fact(stopread_herculog) -> 15:39 7 H *page* H &fact(stopread_herculog) -> 15:40 7 H ask heidi about painting -> 15:40 7 H *ask* HZ,`painting' -> 15:45 7 H page hercule &fact(stopread_herculog) -> 15:45 7 H *page* H &fact(stopread_herculog) -> 15:52 7 H page hercule &fact(stopread_herculog) -> 15:52 7 H *page* H &fact(stopread_herculog) -> 15:59 7 H walk to #2007 -> 16:00 UC H *moveto* 7,UC -> 16:01 8 H *moveto* UC,8 -> 16:08 8 H page hercule &fact(stopread_herculog) -> 16:09 8 H *page* H &fact(stopread_herculog) -> 16:10 8 H page sherlock ~fact(visit_room(hercule,r2007)) -> 16:10 8 H *page* S ~fact(visit_room(hercule,r2007)) -> 16:19 8 H page hercule &fact(stopread_herculog) -> 16:19 8 H *page* H &fact(stopread_herculog) -> 16:20 8 H look #2007 -> 16:20 8 H *look* 8 -> 16:25 8 H page hercule &fact(stopread_herculog) -> 16:25 8 H *page* H &fact(stopread_herculog) -> 16:26 8 H ask hans about last night -> 16:26 8 H *ask* HW,`last night' -> 16:31 8 H page hercule &fact(stopread_herculog) -> 16:31 8 H *page* H &fact(stopread_herculog) -> 16:32 Enter S page hercule ~fact(give_facts_nr(monitor))~fact(give_goals_nr(monitor)) -> 16:32 Enter S *page* H ~fact(give_facts_nr(monitor))~fact(give_goals_nr(monitor)) -> 16:33 8 H ask hans about mona -> 16:33 8 H *ask* HW,`Mona Lisa Vesuvio' -> 16:38 8 H page hercule &fact(stopread_herculog) -> 16:38 8 H *page* H &fact(stopread_herculog) -> 16:39 8 H ask hans about ski jacket -> 16:39 8 H *ask* HW,`jacket' -> 16:44 8 H page hercule &fact(stopread_herculog) -> 16:44 8 H *page* H &fact(stopread_herculog) -> 16:46 8 H ask hans about gun -> 16:46 8 H *ask* HW,`gun' -> 16:51 8 H page hercule &fact(stopread_herculog) -> 16:51 8 H *page* H &fact(stopread_herculog) -> 16:52 8 H ask hans about painting -> 16:52 8 H *ask* HW,`painting' -> 16:57 8 H page hercule &fact(stopread_herculog) -> 16:57 8 H *page* H &fact(stopread_herculog) -> 17:03 8 H page hercule &fact(stopread_herculog) -> 17:03 8 H *page* H &fact(stopread_herculog) -> 17:25 8 H walk to #1963 -> 17:25 UC H *moveto* 8,UC -> 17:34 UC H page hercule &fact(stopread_herculog) -> 17:34 UC H *page* H &fact(stopread_herculog) -> 17:35 UC H page sherlock ~fact(did_you(hercule,ask,last_night))~fact(kill_reason(hercule,love,0.5))~fact(find_has(hercule,heidi,motives,love,1))~fact(find_has(hercule,giuzeppe,motives,love,1))~fact(find_has(hercule,hans,opportunity,2100,1)) -> 17:35 UC H *page* S ~fact(did_you(hercule,ask,last_night))~fact(kill_reason(hercule,love,0.5))~fact(find_has(hercule,heidi,motives,love,1))~fact(find_has(hercule,giuzeppe,motives,love,1))~fact(find_has(hercule,hans,opportunity,2100,1)) -> 17:44 UC H page hercule &fact(stopread_herculog) -> 17:44 UC H *page* H &fact(stopread_herculog) -> 17:45 UC H page sherlock ~facts_nr(hercule,388)~goals_nr(hercule,9) -> 17:45 UC H *page* S ~facts_nr(hercule,388)~goals_nr(hercule,9) -> 17:54 UC H page hercule &fact(stopread_herculog) -> 17:54 UC H *page* H &fact(stopread_herculog) -> 18:00 UC H page hercule &fact(stopread_herculog) -> 18:00 UC H *page* H &fact(stopread_herculog) -> 18:13 UC H walk to #1991 -> 18:13 LC H *moveto* UC,LC -> 18:14 3 H *moveto* LC,3 -> 18:22 3 H page hercule &fact(stopread_herculog) -> 18:22 3 H *page* H &fact(stopread_herculog) -> 18:23 3 H page sherlock ~fact(visit_room(hercule,r1991))~fact(did_you(hercule,ask,mona)) -> 18:23 3 H *page* S ~fact(visit_room(hercule,r1991))~fact(did_you(hercule,ask,mona)) -> 18:32 3 H page hercule &fact(stopread_herculog) -> 18:32 3 H *page* H &fact(stopread_herculog) -> 18:33 3 H ask lisa about painting -> 18:33 3 H *ask* LJ,`painting' -> 18:38 3 H page hercule &fact(stopread_herculog) -> 18:39 3 H *page* H &fact(stopread_herculog) -> 18:45 3 H page hercule &fact(stopread_herculog) -> 18:45 3 H *page* H &fact(stopread_herculog) -> 18:56 3 H walk to #1985 -> 18:57 LC H *moveto* 3,LC -> 18:58 1 H *moveto* LC,1 -> 19:05 1 H page hercule &fact(stopread_herculog) -> 19:06 1 H *page* H &fact(stopread_herculog) -> 19:07 1 H page sherlock ~fact(visit_room(hercule,r1985))~fact(did_you(hercule,ask,ski_jacket))~fact(find_has(hercule,oscar,motives,money,1)) -> 19:07 1 H *page* S ~fact(visit_room(hercule,r1985))~fact(did_you(hercule,ask,ski_jacket))~fact(find_has(hercule,oscar,motives,money,1)) -> 19:16 1 H page hercule &fact(stopread_herculog) -> 19:16 1 H *page* H &fact(stopread_herculog) -> 19:17 1 H ask rolf about painting -> 19:17 1 H *ask* RL,`painting' -> 19:22 1 H page hercule &fact(stopread_herculog) -> 19:22 1 H *page* H &fact(stopread_herculog) -> 19:23 1 H ask claire about painting -> 19:24 1 H *ask* CL,`painting' -> 19:28 1 H page hercule &fact(stopread_herculog) -> 19:29 1 H *page* H &fact(stopread_herculog) -> 19:29 Enter S page hercule ~fact(give_facts_nr(monitor))~fact(give_goals_nr(monitor)) -> 19:29 Enter S *page* H ~fact(give_facts_nr(monitor))~fact(give_goals_nr(monitor)) -> 19:35 1 H page hercule &fact(stopread_herculog) -> 19:35 1 H *page* H &fact(stopread_herculog) -> 19:36 1 H page sherlock We have solved the mystery. I hope Pierre will agree with our solution! -> 19:36 1 H page sherlock The criminal is oscar -> 19:36 1 H *page* S We have solved the mystery. I hope Pierre will agree with our solution! -> 19:36 1 H *page* S The criminal is oscar -> 19:38 1 H page sherlock I am disconnecting now. Ciao.. -> 19:38 1 H @quit -> 19:39 1 H *page* S I am disconnecting now. Ciao..