prolog-dif

15calore

4risposta

Quali sono gli usi del predicato di errore in Prolog?

Non riesco a trovare una situazione in cui ne avessi bisogno.

8calore

3risposta

Quali sono i pro e i contro dell'utilizzo dell'elenco manuale iterazione vs ricorsione tramite fail

Mi scontro sempre e non sono mai sicuro di quale attacco. Di seguito sono riportati due metodi per elaborare alcuni fatti di stagione. Quello che sto cercando di capire è se utilizzare il metodo 1 o 2

27calore

4risposta

Qual è il logico "non" in Prolog?

Il problema che ho di fronte è un po 'banale. voglio usare logico non in Prolog, ma sembra che not/1 non è la cosa che voglio: course(ai). course(pl). course(os). have(X,Y) :- course(X),course(Y),

5calore

2risposta

Prolog: disuguaglianza operatore

Sto usando SICStus Prolog e hanno una serie di fatti: student('John Henry', 'Maths'). student('Jim Henry', 'Maths'). student('John Alan', 'Maths'). student('Alan Smith', 'Computing'). student('Gar

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

Eliminazione di tutti i membri di una lista, senza unificazione in Prolog

Eventuali duplicati: Prolog delete: doesn't delete all elements that unify with Element In Prolog se si scrive questo: delete([(1,1),(1,2),(1,1),(3,4)],(1,_),L). il risultato sarà: L = [ (1, 2), (3,