Artículos con etiqueta «backtracking»
El camino a Prolog: obtener soluciones y no determinismo (parte II)
En el artículo anterior dejamos un algoritmo de unificación escrito en Rust. Ahora, y siguiendo también el libro de Peter Norvig, debemos implementar algo que pruebe las reglas que tenemos definidas para la query que insertemos.