Um Monitor para Apoio a Programação em Lógica

  • Pula Ypiranga dos Guaranys PUC-RJ
  • Jeferson Ferreira Soares PUC-RJ

Resumo


Descreve-se neste artigo uma ferramenta de software para suporte à construção de programas em linguagens de programação em lógica; particularmente usando-se regras de produção. Este suporte incluí funções de edição orientadas para a sintaxe de regras de produção e um monitoramento da construção de programas visando garantir a completude da especificação e a compatibilidade sintática e semântica entre os diversos componentes do programa. Está em estudo o aproveitamento desta ferramenta como parte de um sistema tutor em técnicas de programação em lógica.
Publicado
22/10/1987
GUARANYS, Pula Ypiranga dos; SOARES, Jeferson Ferreira. Um Monitor para Apoio a Programação em Lógica. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 1. , 1987, Rio de Janeiro/RJ. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 1987 . p. 184-187. DOI: https://doi.org/10.5753/sbes.1987.25232.