[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

[pt] A gerência de redes telefônicas nas modernas concessionáras do chamado Primeiro Mundo têm se apoiado, cada vez mais, sobre sistemas baseados em conhecimento. Esses sistemas inteligentes são apresentados como solução capaz de fazer face às exigências de qualidade e confiabilidade feitas pelos usuários ligados a redes, as quais crescem em dimensão e complexidade, num ritmo jamais visto. Este trabalho incursiona nesse campo e apresenta o projeto, seu desenvolvimento e a implementação, baseada na Programação em Lógica, de um sistema para auxílio à emissão de telecomandos sobre a Rede Nacional de Telefonia, operada pela EMBRATEL. Adicionalmente, apresentamos um levantamento das principais técnicas de obtenção e representação de conhecimento para fins de utilização em computadores eletrônicos. / [en] The management of telephone networks in developed countries hás been based, in a ever-growing scale, on knowledge-based systems. Those intelligent systems have been presented as a means to face the demands in quality and reliability posed by users of those networks, which have been expanding at an uncredibly fast pace. This paper tries to explore this area and presents the project, its development and implement based on Logic Programming, of a system for aiding the sending commands upon the National Telephone Network, operated by EMBRATEL. Additionally we have done a survey of the main techniques for the acquisition and representation of knowledge related to electronic computing

[pt] Esta dissertação apresenta uma integração entre a programação funcional e a programação em lógica, obtida pela definição e implementação da Linguagem LispLog. Nesta nova linguagem, o resultado de uma resolução pode ser utilizado como argumento de uma função (pelo operador metalisp) e o resultado da avaliação de uma função pode ser ligado a uma variável lógica (pelo operador avalia). A construção desta linguagem foi realizada a partir da simulação, em microcomputador similar ao IBM-PC, de uma máquina com arquitetura de pilhas, chamada Máquina LispLog, e de seu compilador. A utilização desta linguagem é possível através do Sistema LispLog, que fornece um ambiente de programação orientado por menus. / [en] This dissertation shows an integration between the function programming and logic programming, achieved through LispLog Language’s definition and implementation. In this new language the resultant of a resolution may be used as an argument of a function (through metalisp operator) and the result of a function’s avaliation may be linked to a logic variable (through avalia operator). The LispLog Language was constructed by a simulation of stack architecture machine, named LispLog Machine, and its compiler, in a microcomputer similar similar to IBM-PC. The LispLog System provides a programming environment oriented by menus, wich makes possible the use of this language