La programmazione logica nello sviluppo del software: dai modelli agli strumenti