Esercizio TSP
Un commesso viaggiatore deve passare per un insieme di città e poi tornare alla città iniziale, percorrendo meno chilometri possibile.
Le distanze fra le città sono riportate in un file distanze.pl , in un insieme di fatti dista/3
, dove i primi due parametri rappresentano due città, mentre il terzo è la distanza fra le due in km. Le città sono rappresentate da dei numeri interi positivi. La città iniziale è indicata con 1. Nello stesso file distanze.pl è anche definito un fatto ncitta/1
che contiene il numero di città.
Si scriva un programma ECLiPSe che calcola il percorso di lunghezza minima. Si consiglia di generare una lista in cui il primo elemento è la prima città da visitare, il secondo è la seconda città visitata, ..., l'ultima è l'ultima città da visitare (ovvero di nuovo la 1).
Suggerimento Per calcolare la distanza fra le città può essere utile la libreria propia
.