Intelligenza artificiale DLV: guide, libri

[mistergks]

C'è qualcuno che sa consigliarmi una buona guida in italiano per la programmazione dichiarativa Datalog?