Prolog Language Alternative monotone per costrutti non monotoni


Esempio

Ecco alcuni esempi di come utilizzare predicati monotonici invece di costrutti impuri e non monotonici nei tuoi programmi:

  • dif/2 è pensato per essere usato al posto di costrutti non monotoni come (\=)/2
  • i vincoli aritmetici (CLP (FD), CLP (Q) e altri) devono essere utilizzati al posto dei predicati aritmetici modificati
  • !/0 porta quasi sempre a programmi non monotoni e dovrebbe essere evitato del tutto.
  • errori di istanziazione possono essere sollevati in situazioni in cui non è possibile prendere una decisione corretta in questo momento.