Hola compañeros, cómo están?

Les escribo porque tengo una duda del paradigma lógico sobre el orden de los predicados cuando se arma uno con reglas.

Estoy trabajando sobre este enunciado:

   

%mesFilial(Padre,Mes):- ingreso(Padre,Mes,IngresoPadre), ------> No da el resultado esperado
% padre(Hijo,Padre),
% ingreso(Hijo,Mes,IngresoHijo),
% IngresoHijo> IngresoPadre.

mesFilial(Padre,Mes):- padre(Hijo,Padre), -----> Solución acorde a la guía
ingreso(Hijo,Mes,IngresoH),
ingreso(Padre,Mes,IngresoP),
IngresoH > IngresoP.


Ahora yo me pregunto ... que las soluciones planteadas no mantengan el mismo orden de los predicados involucrados, afecta en algo la solución? Entiendo que para este caso no afecta, pero sí en otros. Me podrían dar un ejemplo de este??

Aprovecho para consultarles: alguna guía, libro o texto para profundizar más en Lógico, porque no me termina de cerrar el paradigma del todo.

Muchas gracias!!!

Que raro que no de el resultado esperado, no veo razón por la cual tu solución y la propuesta por la guía no sean equivalentes, o por la cual tu solución no debería andar como esperado.
De que forma funciona inesperadamente, explota o da resultados que nada que ver?

En cuanto a guías para estudiar lógico así como pdep en general ya fuiste a http://pdep-utn.mumuki.io? Todo excelente con teoría seguida de ejercicios demostrativos, algunos de los cuales no son nada triviales (otros que si lo son).
Ahí además hay ejemplos de reglas en las que el orden si importa. Típicamente reglas en donde el orden si importa son los que incluyen predicados de orden superior.