diff --git a/p2/practica2.tex b/p2/practica2.tex
index 62b377c..a5f5024 100644
--- a/p2/practica2.tex
+++ b/p2/practica2.tex
@@ -1,4 +1,4 @@
-\documentclass{article}
+\documentclass[a4paper]{article}
 
 \usepackage{listings}
 \usepackage[utf8]{inputenc}
@@ -44,16 +44,23 @@ Al pulsar `r' se busca si queda algún otro resultado, se muestra el final de lo
 \begin{itemize}
     \item ``padrede(X, debora) = padrede(carlos, debora)'' sí que unifica, con X = carlos.
     \item ``X = fecha(10, nov, Y)'' sí que unifica, a la misma expresión.
-    \item ``fecha(10,oct,2013) = fecha(X,nov,2013)'' no unifica, ya que oct\\==nov.
+    \item ``fecha(10,oct,2013) = fecha(X,nov,2013)'' no unifica, ya que oct no puede unificar con nov.
     \item ``momento(fecha(10,nov,2013), Y) = momento(X, hora(13,05))'' sí que unifica, con X = fecha(10,nov,2013) e Y = hora(13,05).
 \end{itemize}
 
 \subsection{Definiendo propiedades}
 
-El fichero ``fiesta.pl'' contiene el programa Prolog describiendo las bebidas favoritas de cada persona. Para el predicado pareja(X, Y) tenemos dos condiciones; la primera que los argumentos sean respectivamente hombre y mujer y la segunda que ambos argumentos tengan una bebida en común: ``pareja(X, Y) :- hombre(X), mujer(Y), bebe(X, B), bebe(Y, B).''.
+El fichero ``fiesta.pl'' contiene el programa Prolog describiendo las bebidas favoritas de cada persona. Para el predicado pareja(X, Y) tenemos dos condiciones; la primera que los argumentos sean respectivamente hombre y mujer y la segunda que ambos argumentos tengan una bebida en común:
+
+
+``pareja(X, Y) :- hombre(X), mujer(Y), bebe(X, B), bebe(Y, B).''.
 
 En segundo lugar, para añadir una preferencia de bebida basada en las preferencias de otros, simplemente asignamos a dicha persona una consulta: ``bebe(pepe, X) :- bebe(alfredo, X).'', y en el caso de Elena, necesitamos una para Sonia y otra para Felipe: ``bebe(elena, X) :- bebe(sonia, X). bebe(elena, X) :- bebe(felipe, X).''.
 
+Finalmente, el fichero ``fiesta.pl'' quedaría del siguiente modo:
+
+\lstinputlisting{fiesta.pl}
+
 \subsection{Representación del conocimiento}
 
 Se definen las siguientes propiedades: rufian, noble, plebeyo, dama, hermosa, deseara y raptara.