Um algorithmo para a unificação na lógica de Ordem Superior

• Autores: Artêmio Ludwig, Wagner do Amaral C
• Localización: Panel '92: actas, XVIII Conferencia Latinoamericana de Informática, 1992, págs. 696-705
• Idioma: portugués
• Texto completo no disponible (Saber más ...)
• Resumen

  • Aimplementação de interpretadores para a linguagem da Lógica de Ordem Superior (LOS) ainda conta com dois desafios: (a) tornar a linguagem mais amigável permitindo estimular sua adoção o (b) implementar interpretadores cujo desempenho não sacrifique sua usabilidade.

    Este trabalho e resultado da prototipação de um interpretador para a linguagem da LOS chamado Y-Prolog, no quai não tomadas apenas as sentenças definidas positivas. Nela a unificação é um dos procedimentos maís importantes e apresenta complexidade elevada. Seu processamento é rasão de depauperaçâo na qualidade do sistema. Partindo-se dos algoritmos SIMPL e MATCH já conhecidos, propôe-se um algoritmo alternativo para MATCH com indicaçôes de melhor desempenho e com uma interpretaçâo mais facilitada do mecanismo da unificação.