Date: Wed 13 Nov
Time: 15.00
Place: room 214

Speaker: S. Etalle
Title: Trasformazioni ed analisi dei programmi logici: un nuovo approccio

Abstract. Il seminario sara' concepito in forma divulgativa (tanti esempi, ma pochi teoremi). Sara' diviso in due sezioni:
  1. Nella prima parte vorrei descrivere una nuova metodologia per trasformare programmi logici programmi in un linguaggio funzionale (per gli esempi usero' Haskell). In questa parte intendo:
  2. Nella seconda parte vorrei utilizzare i risultati della prima per isolare alcune caratteristiche "peculiari" del paradigma logico e in base a queste fornire una "classificazione" dei programmi logici medesimi.
Per seguire il seminario e' utile avere una minima conoscenza del paradigma logico (diciamo PROLOG) e del metodo di risoluzione, ma di piu' non serve.