Logica Proposizionale, Logica del Primo ordine e

Programmazione Logica

Fabio Massimo Zanzotto

Strumenti e coordinate

• Prolog book (Paul Brna)http://cbl.leeds.ac.uk/~paul/prologbook/

• SWI Prologhttp://www.swi.psy.uva.nl/projects/SWI-Prolog/download.html– interprete– manuale

Strumenti e coordinate

Coordinate:

zanzotto@info.uniroma2.it

Nel campo oggetto della mail scrivere

[SBC] <Vostra richiesta>