Edición de «Final 09/03/2017 (Paradigmas)»
De Cuba-Wiki
Puedes deshacer la edición. Antes de deshacer la edición, comprueba la siguiente comparación para verificar que realmente es lo que quieres hacer, y entonces publica los cambios para así efectuar la reversión.
Revisión actual | Tu texto | ||
Línea 12: | Línea 12: | ||
## <math> \forall x. \forall y. P(x, f(x)) \ \wedge \ \lnot P(y, f(y)) </math> es una forma normal de Skolem de <math> \forall x. \forall y. \exists z. P(x, z) \ \wedge \ \lnot P(y, z) </math>. | ## <math> \forall x. \forall y. P(x, f(x)) \ \wedge \ \lnot P(y, f(y)) </math> es una forma normal de Skolem de <math> \forall x. \forall y. \exists z. P(x, z) \ \wedge \ \lnot P(y, z) </math>. | ||
## Sea un programa de Prolog con unicas clausulas: "P(X,Y) :- q(X). P(X,Y) :- q(Y)", la expresion "q(X), ~q(Y)" aparece en el arbol de busqueda de Prolog de "P(X,X), ~P(Y,Y)". | ## Sea un programa de Prolog con unicas clausulas: "P(X,Y) :- q(X). P(X,Y) :- q(Y)", la expresion "q(X), ~q(Y)" aparece en el arbol de busqueda de Prolog de "P(X,X), ~P(Y,Y)". | ||
# Sea un programa en Prolog que redefine el "not" como: | |||
not(G) :- call(G), fail, !. | |||
not(G). | |||
Comparar el resultado de evaluar not(P) si el arbol de resolucion SLD de P es: | |||
## finito y sin solución | |||
## finito y con solución | |||
## infinito y con solución | |||
#Seguimiento en Smalltalk |