Sistema Especialista em Prolog com Bindings para uma Linguagem Imperativa