07-08-2013, 22:23
Hola, estoy haciendo este parcial: http://pdep.com.ar/material/parciales/Re...edirects=0
No se qué onda, tengo un problema con Prolog, no me sale inversible el 1er ejercicio ja.
O sea, no entiendo, si yo hago esto:
La base de conocimiento ya incluye todas las listas de comensales correctas posibles, por ende tendria que ser inversible, pero el SWI me tira una combinatoria infinita, lo cual no tiene sentido, porque no se podrían inferir como verdaderos con la base de conocimiento que yo le proporciono al programa.
¿Alguien me ilumina?
No se qué onda, tengo un problema con Prolog, no me sale inversible el 1er ejercicio ja.
O sea, no entiendo, si yo hago esto:
estaSentadaEn(Quien,mesa(Mesa,Comensales)) :- mesaArmada(_,mesa(Mesa,Comensales)), member(Comensales,Quien).
La base de conocimiento ya incluye todas las listas de comensales correctas posibles, por ende tendria que ser inversible, pero el SWI me tira una combinatoria infinita, lo cual no tiene sentido, porque no se podrían inferir como verdaderos con la base de conocimiento que yo le proporciono al programa.
¿Alguien me ilumina?