kauron-MITSS/MFC
kauron-MITSS/MFC
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

Updated tex p2

Browse source
This commit is contained in:
Carlos Galindo 2018-10-15 19:04:15 +02:00
parent d6b34c353c
commit 67111b2c30
1 changed files with 10 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

13
p2/practica2.tex
View file

@ -1,4 +1,4 @@
\documentclass{article} \documentclass[a4paper]{article}
\usepackage{listings} \usepackage{listings}
\usepackage[utf8]{inputenc} \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} \begin{itemize}
\item ``padrede(X, debora) = padrede(carlos, debora)'' sí que unifica, con X = carlos. \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 ``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). \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} \end{itemize}
\subsection{Definiendo propiedades} \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).''. 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} \subsection{Representación del conocimiento}
Se definen las siguientes propiedades: rufian, noble, plebeyo, dama, hermosa, deseara y raptara. Se definen las siguientes propiedades: rufian, noble, plebeyo, dama, hermosa, deseara y raptara.