\input{/home/sc/yip/cs201-macro.tex}
\input{psfig}

\setlength{\textwidth}{6.25 in}
\setlength{\textheight}{10.0 in}
\setlength{\topmargin}{-.6 in}


\begin{document} 
\pagestyle{empty}

\psetheader{Fall Semester, 1996}{Practice Problems -- Sep 17, 1996}

\leftbold{Problem}

Consider the following production rule, which is part of a system to
help identify potential party supporters:
\vspace{-.1in}
\begin{verbatim}
if ?x plays-golf
   ?x is-a-friend-of ?y
   ?y is-a-republican
then ?x is-a-republican
\end{verbatim}

A. Draw a rete to implement this rule.\\

\vspace{2.5in}

B. Show how the rete tables are filled as the following assertions are
processed:
\begin{tightlist}
\item Angela plays-golf
\item Betty is-a-republican
\item Cathy is-a-friend-of Angela
\item Cathy plays-golf
\item Donna plays-golf
\item Angela is-a-friend-of Donna
\item Angela is-a-friend-of Betty
\end{tightlist}


\end{document}