Implementación de un algoritmo de búsqueda aleatoria en programación lógica

Abstract

En el presente trabajo se explican los detalles de la creación de un algoritmo de búsqueda aleatoria. Este algoritmo permite recorrer los grafos obtenidos en el campo de la programación lógica de forma alternativa a la ofrecida por las búsquedas en anchura y en profundidad. Además se justifican los motivos por los que se considera necesario este algoritmo y los objetivos previos a su desarrollo. Asimismo, se exponen los resultados obtenidos tras la aplicación de este algoritmo a distintos programas de muestra, un estudio sobre estos y diversas conclusiones extraídas a raíz de ellos. ---ABSTRACT--- On this paper we will discuss about the creation details of a random search algorithm. Such algorithm allows an alternative way of exploring the graphs obtained in logic programming to the breadth first and depth first searches. In addition, reasons why this new way of obtaining solutions is considered necessary and motivations for the project are also justified. Besides, the results obtained after applying this algorithm to some sample programs are shown. This document also contains a study on these results and some conclusions drawn from it.