prolog-assert

5calore

2risposta

Definire predicati in SICStus Prolog/SWI-Prolog REPL

sto leggendo http://cs.union.edu/~striegnk/learn-prolog-now/html/node3.html#subsec.l1.kb1, ma sto avendo difficoltà di eseguire il seguente predicato: SICStus 4.0.1 (x86-win32-nt-4): Tue May 15 21:17:

prolog prolog-toplevel prolog-assert 2011-09-06

---

7calore

1risposta

Posso usare variabili con assert/1?

Quello che ho ora controlla che X (Y) non è un fatto accettato nel mio piccolo DB. Poiché X (Y) restituisce false, tenterà di asserirlo. (Mi rendo conto che presenta dei problemi quando X è una regola

prolog prolog-assert 2011-12-25

---

6calore

1risposta

Voglio creare fatti dinamici in prolog

Ho scritto il seguente codice semplice, e mi aspetto che quando scrivo "male", questo codice mi chieda una volta "è vero?" e se inserisco "No", scrive sullo schermo "è femmina". male :- (print('is it

prolog prolog-assert 2011-12-29

---

6calore

2risposta

SWI-Prolog - Fail per affermare

definisco un operatore come segue: :- op(500, xfx, =>). Quando cerco qualcosa di simile: assert(a => b). Prolog genera un errore che dice 'Non hai il permesso di modificare static_procedure (=>)/2

prolog prolog-assert 2012-04-23

---

5calore

3risposta

Qual è la differenza tra abolish/1 e retactall/1?

Dalla lettura del manuale, non riesco a trovare la differenza tra i due. Il manuale dice: Si consiglia di utilizzare retractall/1 per cancellare tutte le clausole di un predicato dinamica. Quindi ho s

prolog prolog-assert 2015-12-27

---