[pt] Haeusler e Pequeno desenvolveram um método de prova de teoremas baseado em jogos semânticos introduzidos por Hintikka. Posteriormente Rios desenvolveu o programa PROGRAME que implementa este método. Este trabalho descreve um ambiente de programação lógica desenvolvido com a finalidade de oferecer ao usuário facilidades de programação lógica suportada pelo provador PROGRAME. O ambiente foi idealizado o mais próximo possível nos ambientes PROLOG, com a facilidade adicional de permitir que no código do programa a ele submetido sejam utilizados indiferentemente goals a serem provados neste ambiente ou PROGRAME. / [en] Haeusler and Pequeno developed a theorem proving method based on semântica games introduced by Hintikka. Later, Rios developed the program PROGRAME witch implements this method. Our work describes a logic programming environment developed with the aim of offering the user logic programming facilities supported by the PROGRAME prover. The programming environment was chosen to be PROLOG-like with additional facility of permiting that a given goal can b proved both by or environment and by the PROGRAME prover