Programación Lógica

Sustitución

Aplicación que reemplaza sistemáticamente variables por términos en una expresión lógica, esencial para la unificación y la resolución.

← Volver