Ejemplos

$$\begin{array}{l} \{ X := \mbox{juan}, Y := \mbox{noe} \}\\ ... ...do}(T, 1200) \}\\ \{ Q := [\,], X := [ Y, Z ] \} \end{array}$$

Definición 3.14 (Aplicación de sustitución)
Dada una sustitución $\theta$, y un predicado $P$, la aplicación de $\theta$ a $P$ produce un nuevo predicado, que se denota $P\theta$, y que corresponde al predicado inicial $P$, donde toda variable asignada en $\theta$ es cambiada por el término correspondiente, y las otras variables permanecen incambiadas.

Definición 3.15 (Unificador)
Dadas dos expresiones del lenguaje definido, por ejemplo dos predicados

$$E_1, E_2$$

se llama unificador a una sustitución $\theta$ tal que se cumple que:

$$E_1\theta = E_2\theta$$

Es decir que la aplicación de la sustitución a ambas expresiones, da la misma expresión.

Hosted by www.Geocities.ws