Dal punto di vista della logica proposizionale č corretta l&#39;interpretazione di Pietro :P ... perņ non essendo una macchina avevo capito bene le intenzioni di Carlos (che ringrazio anche per il complimento).<br><br>Dovuti<br>

<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
<div>E visto che sto studiando intelligenza artificiale posto anche un knowledge base Prolog che rappresenta bene il dominio:</div><br></blockquote></div><br>Un vecchio programma in TurboProlog<br><br>Premesse:<br><br>Quark = Particella elementare dell&#39;universo<br>

Quark = Programma televisivo condotto da Piero Angela<br>Quark = Varieta&#39; di formaggio svizzero<br><br>Conclusioni (dopo mezz&#39;ora di elaborazione):<br><br>L&#39;universo e&#39; composto da formaggio ed e&#39; stato creato da Piero Angela.<br>

<br>Una volta che sci smao rialzati da terra (ROTFL) abbiamo deciso che con il prolog avevamo chiuso.<br><br>Poi magari lui aveva ragione pero&#39; :)<br><br>Greetings<br>JOKER Ltd.<br>-- <br>Je suis marxiste, de tendance Groucho&#39;<br>