Il giorno 02 luglio 2010 14.40, Emanuele Rampichini <
emanuele.rampich...@gmail.com> ha scritto:

> 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).
> E visto che sto studiando intelligenza artificiale posto anche un knowledge
> base Prolog che rappresenta bene il dominio:
>
> lazy(tizio).
> programmer(tizio).
>
> goodprogrammer(X) :-
>     programmer(X),
>     lazy(X).
>
>
>
Che bello il calcolo proposizionale e la logica del primo ordine :D

-- 
Valerio Turturici
_______________________________________________
Python mailing list
Python@lists.python.it
http://lists.python.it/mailman/listinfo/python

Reply via email to