Programmazione Logica e ASP. Forma normale congiuntiva e clausole Un letterale è una formula atomica o la negazione di una formula atomica. Una clausola.
Caduta Vita terrena. Sorella Dancelli e il marciapiede.