Edición de «Final 13/12/2016 (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 48: | Línea 48: | ||
a. Dar la cantidad de soluciones de la consulta P([], X). (usando el arbol SLD) | a. Dar la cantidad de soluciones de la consulta P([], X). (usando el arbol SLD) | ||
b. Que pasa con la cantidad de soluciones si cambiamos la 3er regla por: | b. Que pasa con la cantidad de soluciones si cambiamos la 3er regla por: | ||
i. p(X,Y) :- a(Z), not(member(Z,X)), !, P([Z|X], Y). | i. p(X,Y) :- a(Z), not(member(Z,X)), !, P([Z|X], Y). | ||
Línea 56: | Línea 55: | ||
a. Es cierto que las clausulas {P(x,f(y)}, {P(y,y} no se pueden refutar ya que no unifican ? | a. Es cierto que las clausulas {P(x,f(y)}, {P(y,y} no se pueden refutar ya que no unifican ? | ||
b. Te daban dos formulas y decian que una era la Skolem de la otra. | b. Te daban dos formulas y decian que una era la Skolem de la otra. | ||
c. Dada G la Skolem de F. | c. Dada G la Skolem de F. |