failure-slice

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

prolog failure-slice logical-purity 2013-03-29

---

7calore

2risposta

Perché questo comando causa un overflow dello stack in prolog?

Ho il seguente frammento di codice di prologo: num(0). num(X) :- num(X1), X is X1 + 1. fact(0,1) :-!. fact(X,Y) :- X1 is X-1, fact(X1,Y1), !, Y is Y1 * X. fact(X) :- num(Y), fact(Y,X). Qualcun

prolog failure-slice 2011-01-29

---

5calore

5risposta

Perché il mio predicato in Prolog Fib/2 dice sempre "fuori dallo stack locale"?

Ho scritto un predicato fib/2 per calcolare i numeri di Fibonacci in Prolog. se funziona, si dice sempre "fuori pila locale" e l'errore si presenta come: ?- fib(10, F). F = 55 ; ERROR: Out of local

prolog stack fibonacci failure-slice 2012-07-31

---

6calore

2risposta

Corrispondenza delle espressioni regolari Prolog

Sto tentando di eseguire la corrispondenza delle espressioni regolari. Ho tutte le funzioni scritte, ma non funzionano come dovrebbero. Da quello che posso dire, ha un problema quando provo a confront

regex prolog dcg failure-slice 2012-09-25

---

5calore

2risposta

predicato Prolog - loop infinito

Ho bisogno di creare un predicato Prolog per la potenza di 2, con i numeri naturali. numeri naturali sono: 0, s (0), s (s (0)) ans così via .. Ad esempio: ?- pow2(s(0),P). P = s(s(0)); false. ?- po

prolog exponentiation failure-slice successor-arithmetics non-termination 2012-03-16

---

6calore

9risposta

Programma Prolog per trovare l'uguaglianza di due elenchi in qualsiasi ordine

Volevo scrivere un programma Prolog per trovare l'uguaglianza di due elenchi, in cui l'ordine degli elementi non ha importanza. Così ho scritto il seguente: del(_, [], []) . del(X, [X|T], T). del(X,

list prolog order any failure-slice 2010-04-26

---

5calore

2risposta

Elenco di numeri interi e loop infinito in Prolog CLPFD

Supponiamo di voler rappresentare numeri interi come: integer:Sign:[FirstDigit,SecondDigit,...]. Ad esempio, 42 sarebbe rappresentato come integer:positive:[4,2]. Ho bisogno di un predicato che generi

prolog infinite-loop clpfd failure-slice 2016-04-21

---