Buenas tardes,
He encontrado un problema con mi profesor en la clase de Prolog. Dice mi professor que podemos hacer una resolucion con el programa siguente
mag(paris,mag_a).
mag(paris,mag_b).
mag(lyon,mag_c).
mag(lyon,mag_d).
liste(M):-mag(V,M),write(M),write( situe_a ),write(V),nl,fail.
liste(M):-write(fin liste).
servido por el goal siguente:
liste(X)
y que da el resultado siguente:
mag_a situe a paris
mag_b situe a paris
mag_c situe a lyon
mag_d situe a lyon
fin liste
true.
Pero, en swish.swi, el software que compila Prolog online dicen que no es posible hacer eso:
¿Entonces, quien puedo creer?