Partners: Pierre
Dillenbourg (TECFA), Ion Dumitrache
(POLITEHNICA), Catalin Buiu (POLITEHNICA),
Cristian Ceconvciuc (POLITEHNICA)
|
|
|
| 1a | visit_room(hercule,R) |
->
|
1a | |||
| 1b | <- | visit_room(sherlock,R) | 1b | |||
| 2 | object(hercule,ask,XA) |
->
|
|
object(ask,XA) | 2 | |
| 3 | object(hercule,M,XM,R) |
->
|
=>
|
must_visit(R) | 3 | |
| <= | <- | what_about(sherlock,M,XM,R) | ||||
| answ_ag(hercule,M,XM,R,A) |
->
|
|
: assert MOO facts | |||
| 4 | did_you(hercule,ask,X) |
->
|
=>
|
4 | ||
| <= | <- | number(sherlock,ask,X,N,from,NS) | ||||
| object(hercule,ask,X) if N=0 |
->
|
|
object(ask,X) | |||
| keep(hercule,ask,X) if N<NS-N |
->
|
: nothing | ||||
| good(hercule,ask,X) if N=NS |
->
|
: nothing | ||||
| 5 | kill_reason(hercule,T,P) |
->
|
=>
|
5 | ||
| <= | <- | kill_reason(sherlock,why,T,P) | ||||
| kill_reason(hercule,because,[L1],T) |
->
|
... | ||||
| 6 | find_has(hercule,S,H,W,1) |
->
|
=>
|
6 | ||
| ... | <- | find_has(sherlock,why,S,H,W,1) | ||||
