Motor de regras com trilha de explicação

Escolha os fatos iniciais. O motor dispara primeiro a regra de maior prioridade e usa as conclusões como novos fatos.