Programación Lógica

Prolog

El lenguaje de programación lógica más extendido, que implementa el principio de resolución SLD con unificación y backtracking automático.

← Volver