About this document

Mecanismo de Respuestas en Prolog by Adrian Lesmes is a document available to read on EtoBox.

Este documento resume los conceptos fundamentales del mecanismo de obtención de respuestas en Prolog. Explica cómo Prolog unifica hechos y reglas mediante el algoritmo de unificación y realiza backtracking cuando no puede continuar por un camino, buscando alternativas. También describe el proceso de construcción de árboles de conocimiento y cómo Prolog puede utilizar varias veces los mismos términos con nombres distintos de variables. Finalmente, presenta el uso de la traza para visualizar el proceso de res

Author

Adrian Lesmes

Language

ES