Minimize

... devo minimizzare un goal in funzione di un numero che è il risultato di una divisione quindi un numero reale. Come posso fare? con quale istruzione? Ho utilizzato la minimize ma probabilmente accetta solo numeri interi. Es:

goal(Var):-
   ...
   Var is N/90.
minimize(goal(Var),Var).

In genere in questi casi si cerca di minimizzare una variabile intera che porti alla stessa soluzione; nel suo caso potrebbe minimizzare N.

Se invece ha proprio bisogno di lavorare con variabili reali, bisogna passare ad un altro risolutore (CLP(FD) non va bene). In ECLiPSe, puo` leggere sul manuale di CLP il capitolo sulla libreria IC:

IC: A Hybrid Finite Domain / Real Number Interval Constraint Solver