Base de conhecimento
- American(West)
- Missile(M1)
- Owns(Nono,M1)
- Sells(West,M1,Nono)
- Enemy(Nono,America)
Consulta: Criminal(West)
Estratégia atual
Aguardando execução.
Rastro de prova
Conexão com busca
No direto, o espaço cresce a partir dos fatos. No reverso, a consulta é decomposta em submetas; quando existem alternativas, o retrocesso pode retornar ao último ponto de escolha.