logical-purity

8calore

2risposta

Prolog: evitare punti di scelta ridondanti (non determinismo) con e senza operatore di taglio

In primo luogo, ho letto tutti gli altri post su SO relativi all'uso dei tagli in Prolog e sicuramente vedremo i problemi relativi al loro utilizzo. Tuttavia, c'è ancora un po 'di chiarezza per me e m

5calore

1risposta

Caratteristiche del buon codice Prolog?

Quali sono le euristiche del design che si devono padroneggiare per scrivere il buon Prolog? Ho sentito dire che un programmatore esperto impiega circa due anni per diventare esperto in Prolog. L'uso

8calore

2risposta

Purezza di predicati Prolog che utilizzano le primitive impuri

so che var/1, nonvar/1 e !/0 sono primitivi impuri, ma non il loro uso rende ogni programma che utilizza impure? Ho scritto il seguente predicato plus/3 che si comporta come se fosse puro o almeno è q