****************************************************

  Universita' degli Studi dell'Insubria
  Progetto di Logica Computazionale II
  AA 2006/2007

  "PLATAM - *P*rolog *LAT*tice by *A*ndrea e *M*oreno"
  di A.Carcano (mat. 61040)
     M.Carullo (mat. 608371)

 ****************************************************

  Contenuto del progetto:

  doc/
     Documentazione LaTeX sorgente e compilata in PDF

  src/
    moduli Prolog *.pl e test automatici test-*.pl


  Esecuzione del software:
    si vedano gli esempi riportati nella documentazione PDF.

  Esecuzione suite test automatici:

    Dalla root del progetto eseguire:
    # make tests

    E' richiesta la presenza di GNU Make. Si consiglia l'esecuzione
    in sistemi operativi Unix-like.