In questo capitolo riassumeremo i concetti fondamentali e la terminologia di base della programmazione logica, facendo riferimento a [Llo87].
