<br><br><div class="gmail_quote">Il giorno 02 luglio 2010 14.40, Emanuele Rampichini <span dir="ltr"><<a href="mailto:emanuele.rampichini@gmail.com">emanuele.rampichini@gmail.com</a>></span> ha scritto:<br><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
<div>Dal punto di vista della logica proposizionale è corretta l'interpretazione di Pietro :P ... però non essendo una macchina avevo capito bene le intenzioni di Carlos (che ringrazio anche per il complimento).</div>
<div>E visto che sto studiando intelligenza artificiale posto anche un knowledge base Prolog che rappresenta bene il dominio:</div><div><div><br></div><div>lazy(tizio).</div><div>programmer(tizio).</div><div><br></div><div>
goodprogrammer(X) :-</div><div> programmer(X),</div><div> lazy(X).</div><div><br></div><br clear="all"></div></blockquote><div><br>Che bello il calcolo proposizionale e la logica del primo ordine :D <br></div></div>
<br>-- <br>Valerio Turturici<br>