[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
| Identifer | oai:union.ndltd.org:puc-rio.br/oai:MAXWELL.puc-rio.br:9374 |
| Date | 11 December 2006 |
| Creators | ALBERTO JOSE FONSECA ADEODATO |
| Contributors | TARCISIO HAROLDO CAVALCANTE PEQUENO |
| Publisher | MAXWELL |
| Source Sets | PUC Rio |
| Language | Portuguese |
| Detected Language | Portuguese |
| Type | TEXTO |
Page generated in 0.0023 seconds