Aquí te dejo una posible solución. No sé cómo de bien estará o si te servirá (llevo sin hacer programación lógica/declarativa desde la universidad, así que puede que me haya salido la vena funcional más de lo que debiese). Lo habría basado más en el código que ya tenías, pero lo borraste tan pronto que no pude copiarlo.
Esto eso lo que hace:
- Si la matriz se llama sólo con un parámetro, se duplica ese parámetro para que sea cuadrada.
- Si la matriz se llama con dos parámetros:
- Se calcula MAX que será el múltiplo de ambos parámetros (que será el número máximo de ciclos)
- Se llama al predicado muestraMatriz con los parámetros 1 (primer valor a mostrar), MAX (el número de ciclos que faltan por ejecutar), y el número de elementos por fila de la matriz.
- muestraMatriz realizará las siguientes acciones:
- mostrará el número que toque (primer parámetro)
- calculará el módulo del valor actual para ver si toca romper línea
- actualizará los valores del Siguiente y el contador (MAX)
- se llamará de manera recursiva con los valores Siguiente, MAX y números por fila (no cambia)
- Cuando se llame a muestraMatriz y el segundo parámetro sea 0 (ya se hayan realizado todas las iteraciones), se termina la ejecución.
Y el código sería así (lo puedes ver ejecutándose aquí):
muestraMatriz(_, 0, _).
muestraMatriz(A, B, C):-
write(A),
write(" "),
M is A mod C,
rompeLinea(M),
Siguiente is A + 1,
MAX is B - 1,
muestraMatriz(Siguiente, MAX, C).
rompeLinea(0):-
nl.
rompeLinea(_).
matriz(N):-
matriz(N,N).
matriz(M,N):-
MAX is M * N,
muestraMatriz(1, MAX, N).