prolog-setof

13calore

1risposta

Come trovo tutte le soluzioni per un obiettivo in Prolog?

devo P1 predicato che restituisce i valori uno dopo l'altro in questo modo: -? P1(ARGUMENTS, RETURN). -? RETURN = 1; -? RETURN = 2; -? RETURN = 3; -? fail. Ho anche un'altra predicato chiamato P