prolog

7calore

1risposta

Come convalidare la commutatività che coinvolge il vincolo dif/2?

C'è molto hype attorno al vincolo dif/2, specialmente come salvataggio per alcune non dichiaratività di (\ =)/2 e (\ ==)/2. Questa non dichiaratività è spesso caratterizzata come non monotonicità e ve

5calore

2risposta

Prolog, ricostruire gli alberi BST dall'elenco interno

Sappiamo bene l'implementazione inorder per l'albero BST. inorder(nil, []). inorder(t(Root, L, R), List) :- inorder(L, ListLeft), inorder(R, ListRight), append(ListLeft, [Root|ListRigh

5calore

4risposta

Creazione di un predicato in Prolog che somma i quadrati dei soli numeri in una lista

Sto cercando di capire come creare un predicato in prolog che sommi i quadrati dei soli numeri pari in una data lista. risultato atteso: ?- sumsq_even([1,3,5,2,-4,6,8,-7], Sum). Sum = 120 ; false.

6calore

3risposta

Solving Tower of Hanoi dichiarative (Prolog)

Il mio professore ha dato this come esempio di Prolog. È un programma che risolve l'enigma della Torre di Hanoi, in cui devi spostare una pila di dischi in un altro peg spostando un disco dopo l'altro

5calore

1risposta

Operatore-Prolog "_: _" - significato?

Non capisco il seguente frammento Prolog? Che cosa significa "":_:""? Qual è la differenza tra ":=" e "="? game_to_problematic_points(Game,Pid,Hid) :- Point := Game/point, Pid := [email prot

7calore

3risposta

Prolog ottenere la testa e la coda di stringa

Sto cercando di avvolgere il mio cervello intorno a Prolog per la prima volta (SWI-Prolog) e sto lottando con quello che sono sicuro sono le basi. Sto cercando di prendere una stringa come "torta" e s

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

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

Herbrand in Prolog

Stavo osservando alcuni problemi come Logica fuzzy logic e le clausole di Horn e ho visto alcuni semplici esempi di applicazioni, con Prolog. La ragione di questa domanda è perché questi problemi sono

8calore

2risposta

Scrivere macro in SWI-Prolog

Sto cercando di implementare una semplice macro per le istruzioni switch in SWI-Prolog. Questa è una serie di istruzioni condizionali: (X = a -> Output = case1; X = b -> Output = case2; X