Implementação lógica de um motor de inferência com raciocínio backward chaining para a construção sistemas especialistas