<br><font size=2 face="sans-serif">Coincidentally, I'm working on forward
and backward chaining myself right now.</font>
<br>
<br><font size=2 face="sans-serif">Anyway, &quot;ANSI Common Lisp&quot;
by Paul Graham has a chapter on inference and it includes code for backward
chaining. &nbsp;You can download the code from here:</font>
<br>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; http://lib.store.yahoo.net/lib/paulgraham/acl2.lisp</font>
<br>
<br><font size=2 face="sans-serif">General information about the book is
here:</font>
<br>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; http://www.paulgraham.com/acl.html</font>
<br>
<br><font size=2 face="sans-serif">Anyway, if you download acl2.lisp, search
for this comment:</font>
<br>
<br><font size=2 color=#008000 face="Courier New"><i>; *** inf ***</i></font>
<br>
<br><font size=2 face="sans-serif">That's where the inferencing code starts.</font>
<br>
<br><font size=2 face="sans-serif">&quot;Paradigms of Artificial Intelligence
Programming&quot; by Peter Norvig, as mentioned, is also excellent.</font>
<br>
<br><font size=2 face="sans-serif">Paul</font>
<br>
<br>
<br><font size=2 face="sans-serif">==========================================================<br>
hackday|v5 [apr 25, 2008!]: remember, everybody hacks on apr. 25th <br>
http://w4.ibm.com/hackday/<br>
==========================================================</font>
<br>
<br>
<br>
<table width=100%>
<tr valign=top>
<td width=40%><font size=1 face="sans-serif"><b>Heinrich Taube &lt;taube@uiuc.edu&gt;</b>
</font>
<br><font size=1 face="sans-serif">Sent by: cmdist-admin@ccrma.Stanford.EDU</font>
<p><font size=1 face="sans-serif">03/05/2008 01:13 PM</font>
<td width=59%>
<table width=100%>
<tr valign=top>
<td>
<div align=right><font size=1 face="sans-serif">To</font></div>
<td><font size=1 face="sans-serif">&quot;Mr.SpOOn&quot; &lt;mr.spoon21@gmail.com&gt;</font>
<tr valign=top>
<td>
<div align=right><font size=1 face="sans-serif">cc</font></div>
<td><font size=1 face="sans-serif">commonmusic-Mailing-List music &lt;cmdist@ccrma.Stanford.EDU&gt;</font>
<tr valign=top>
<td>
<div align=right><font size=1 face="sans-serif">Subject</font></div>
<td><font size=1 face="sans-serif">Re: [CM] CM and Knowledge Representation</font></table>
<br>
<table>
<tr valign=top>
<td>
<td></table>
<br></table>
<br>
<br>
<br><tt><font size=2>&gt; Do you know a tutorial/link/whatever to learn
how to do backward<br>
&gt; chaining in Lisp?<br>
&gt; The problem is that the teacher, during the course, covered a lot
of<br>
&gt; arguments, from Lisp, to Prolog, to description logics, to the<br>
&gt; semantic web, so I know very few things about a lot of things. That's<br>
&gt; not useful.<br>
<br>
<br>
</font></tt>
<br>