% PD-99: practica-0.pl
% Lynx, EMACS, y Prolog. (Segunda parte)
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

% Este archivo es la continuaci\'on del fichero practica-0-pd99.txt que
% seguramente ya habr\'as leido. Si has editado este fichero siguiendo las
% instrucciones contenidas en practica-0-pd99.txt est\'as listo para pasar al
% siguiente punto.

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% 4) Buffers                                                            %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

% En este momento EMACS te muestra este archivo pero el anterior sigue siendo
% accesible, EMACS tiene una copia de \'el situada en un buffer "detr\'as" de
% \'este. Para volver a practica-0.txt teclea CTRL-X B ENTER y, acto seguido,
% otra vez CTRL-x b ENTER para volver aqu\'i.

% Como ves podemos editar varios ficheros a la vez pasando de uno a otro con
% la orden anterior. Si tenemos m\'as de dos, resulta necesario indicar el
% nombre del archivo (en realidad del buffer) al que queremos cambiar. As\'i
% pod\'iamos haber cambiado al buffer que contiene practica-0.txt tecleando
%    (*) CTRL-X B 
%    (*) y a continuaci\'on el nombre del buffer (o archivo), en nuestro
%        caso practica-0.txt 

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% 5) Interacci\'on con Prolog                                           %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

% Normalmente utilizaremos EMACS para trabajar con el compilador de
% Prolog. Para arrancar una sesi\'on con el compilador teclea 
% 
%               ESC-x run-prolog ENTER
% 
% RECUERDA: teclea CTRL-x b ENTER para volver aqu\'i
% 
% En este momento tenemos 3 buffers activos:
% 
% (1) El buffer practica-0-pd99.txt con el primer archivo
% 
% (2) El buffer practica-0-pd99.pl con el segundo archivo
% 
% (3) El buffer *prolog* con el compilador de Prolog
% 
% teclea CTRL-x CTRL-b para obtener una lista de los buffers activos. Para
% hacer desaparecer la lista teclea CTRL-x 1

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% 5) Ventanas                                                           %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

% Veamos ahora como dividir la pantalla varios trozos, es decir, como crear
% ventanas en las que ver el contenido de varios buffers a la vez. Para crear
% una ventana teclea CTRL-x 2. Si vuelves a teclear CTRL-x 2 de nuevo
% aparecer\'a otra ventana y as\'i sucesivamente.

% Para moverte entre ventanas, se decir, para hacer que el cursor salte de
% una ventana a otra, utiliza CTRL-x o (ojo! es "o", no cero)

% A la hora de cerrar ventanas tenemos dos posibilidades:
% 
% (*) Tecleando CTRL-x 1 se cierran todas las ventanas salvo aquella en la
%     que est\'a el cursor
% 
% (*) Tecleando CTRL-x 0 (ojo! es cero, no "o") se cierra la ventana en la 
%     que se encuentra el cursor.

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% 6) Interacci\'on con Prolog                                           %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

% Para terminar un peque\~no ejercicio:
% 
% (*) Cierra todas las ventanas que tengas abiertas salvo una que te muestre
%     este archivo.
% 
% (*) Crea ahora una ventana con CTRL-x 2
% 
% (*) Ahora tenemos 2 ventanas, mu\'evete al ventana de abajo tecleando
%     CTRL-x o (ojo! es "o", no cero)
% 
% (*) A continuaci\'on cambia en esa ventana al compilador de Prolog
%     tecleando:
%        
%        CTRL-x b  *prolog* ENTER
% 
% (*) Pasa a la ventana superior tecleando CTRL-x o (ojo! es "o", no cero)
% 
% (*) Ahora vamos a cargar el siguiente programa. Para ello teclea 
%     CTRL-c CTRL-l. El cursor se situar\'a en el compilador de Prolog
%     esperando una pregunta.

divide_a(2,6).
divide_a(3,6).
divide_a(2,12).
divide_a(3,12).
divide_a(6,X):-
   divide_a(2,X),
   divide_a(3,X).











