quisiera decir que lo que planteo lo he conseguido con anterioridad. Estaba probando las declaraciones para importar predicados de un módulo a otro en ProLog, y recuerdo que en una de las formas, no recuerdo cuál y he intentado replicarla sin éxito, conseguía que una consulta sobre un predicado redefinido diera como resultado la respuesta al predicado redefinido y a continuación, ";", la respuesta para el predicado original. Lo cuál era frustrante porque yo quería conseguir una redefinición completa, y ahora es todo lo contrario.
Veamos, un poco de código de que idea tengo yo de lo que conseguía, primero un fichero 'holaMundo.pl'.
:- module(holaMundo, [holaMundo/1]).
holaMundo(X) :- write(X).
Y un fichero 'otroFichero.pl'.
:- module(otroFichero, [holaMundo/1]).
:- multifile(holaMundo:holaMundo/1]).
holaMundo(X) :- write("Okay").
Entonces yo en el intérprete swipl ordeno lo siguiente;
1 ?- [otroFichero].
true.
2 ?- holaMundo("hola mundo!!!").
Y la respuesta que yo quisiera obtener es;
Okay ;
hola mundo!!!
true.
Sin embargo, obtengo;
Okay
true.
Dado que el predicado holaMundo/1 está redefinido y el original esta ocultado. He probado a no hacer público holaMundo/1 en el módulo 'otroFichero' pero entonces obtengo un mensaje tal que;
Correct to: "holaMundo:holaMundo(\"hola mundo\")"? yes
Okay
true.
Entonces, pienso, ese resultado se debe a que no es público en su módulo e intenta buscar un predicado holaMundo/1 con ese argumento en el módulo, luego no está encontrando el original luego debería importarlo... pero si lo importo empiezo a intentar morderme la cola puesto que si lo hago obtendré Warnings relativas a la redefinición y si no lo importo estoy en las mismas, luego me quedé sin ideas. Recuerdo que lo pude sin querer, que era limpio, no lanzaba errores ni warnings el intérprete, pero me quede sin ideas para replicarlo. ¿Cómo fue posible?¿Fue un espejismo?, no lo creo, recuerdo perfectamente haberlo hecho.