Ejemplo 1 - Historial de revisiones

Mjoseh en 07:57 3 feb 2020

2020-02-03T07:57:48Z

Mjoseh en 07:56 3 feb 2020

2020-02-03T07:56:11Z

Mjoseh: Página creada con « % Definimos las dimensiones del tablero #const anchura = 5. dim(1..anchura). % Para cada casilla distinta a (1,1) le asignamos un solo movimiento:…»

2019-02-12T13:53:18Z

Página creada con «<source lang = "prolog"> % Definimos las dimensiones del tablero #const anchura = 5. dim(1..anchura). % Para cada casilla distinta a (1,1) le asignamos un solo movimiento:…»

Página nueva

<source lang = "prolog">
% Definimos las dimensiones del tablero
#const anchura = 5.
dim(1..anchura).

% Para cada casilla distinta a (1,1) le asignamos un solo movimiento: izda,
% dcha, arriba o abajo.
1 {mueve(X,Y, 0,-1); mueve(X,Y, 1,0);
mueve(X,Y, -1,0); mueve(X,Y, 0,1)} 1 :- dim(X), dim(Y), (X,Y) != (1,1).

% Definimos la propiedad alcanzable. Esta se cumple trivialmente en la casilla
% (1,1), y cualquier casilla desde la cual se haga un movimiento a una casilla
% alcanzable también será alcanzable:
alcanzable(1,1).
alcanzable(X,Y) :- mueve(X,Y,XP,YP), alcanzable(X+XP,Y+YP).

% Obligamos a que la raíz del árbol sea alcanzable desde cualquier casilla
:- dim(X), dim(Y), not alcanzable(X,Y).

% Nos van a interesar las soluciones que tengan pocos desplazamientos verticales.
vertical(X,Y) :- mueve(X,Y,0,1).
vertical(X,Y) :- mueve(X,Y,0,-1).
#minimize {X,Y: vertical(X,Y) }.

% Presentación:
#show mueve/4.

</source>

@@ Línea 1: / Línea 1: @@
 <source lang = "prolog">
-% El objetivo será diseñar un nivel de juego en el que el jugador
+% Definimos las dimensiones del tablero:
-% empieza en la casilla de arriba y a la izquierdada del tablero, encuentra
+#const n = 5.
 dim(1..n).
-% Definimos las casillas, a partir de la dimensión de nuestro tablero.
+% Para cada casilla distinta a (1,1) le asignamos un solo parent: izquierda,
-casilla((X,Y)) :- dim(X),dim(Y).
+% derecha, arriba o abajo.
-% Dos casillas son consecutivas o adyacentes si |X1-X2| + |Y1-Y2| == 1.
+% Definimos la propiedad alcanzable. Esta se cumple trivialmente en la casilla
-adyacente((X1,Y1),(X2,Y2)):- casilla((X1,Y1)), casilla((X2,Y2)),
+% (1,1), y cualquier casilla desde la cual se haga un movimiento a una casilla
-                               X1-X2 == 1, Y1-Y2 == 0.
+% alcanzable también será alcanzable:
-adyacente((X1,Y1),(X2,Y2)):- casilla((X1,Y1)), casilla((X2,Y2)),
+alcanzable(1,1).
-                               X2-X1 == 1, Y1-Y2 == 0.
+alcanzable(X,Y) :- parent(X,Y,DX,DY), alcanzable(X+DX,Y+DY).
-% La entrada al laberinto es la casilla (1,1), y la salida es la opuesta en
+% La raíz del árbol debe ser alcanzable desde cualquier casilla.
-% el tablero.
+:- dim(X), dim(Y), not alcanzable(X,Y).
-% Las casillas tienen a lo sumo una marca:
+% Minimizamos el número de movimientos verticales:
-{ marca(T,pared); marca(T,gema); marca(T,altar) } 1 :- casilla(T).
+vertical(X,Y) :- parent(X,Y,0,1).
+vertical(X,Y) :- parent(X,Y,0,-1).
-% Hay exactamente un altar y una gema en todo el laberinto:
+#minimize {X,Y: vertical(X,Y) }.
 % Presentación:
-#show marca/2.
+#show parent/4.
 </source>