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

Artêmio Ludwig, Wagner do Amaral C

• 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.