definisco un operatore come segue:SWI-Prolog - Fail per affermare
:- 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' .
Qualsiasi soluzione?
Come la sicurezza, è necessario mettere in guardia SWI che si sta per modificare un predicato in fase di esecuzione:
:- dynamic (=>)/2.
messo nella parte superiore del file dovrebbe farlo.
È necessario indicare un altro simbolo al posto di (=>)/2. Probabilmente (->)/2 che è un costrutto di controllo che non può essere modificato.
Welcome to SWI-Prolog (Multi-threaded, 32 bits, Version 6.1.3-116-gf1c7e06) ... ?- asserta((a -> b)). ERROR: asserta/1: No permission to modify static procedure `(->)/2' ERROR: Defined at /opt/gupu/pl-devel/lib/swipl-6.1.3/boot/init.pl:194 ?- op(500, xfx, =>). true. ?- asserta(a => b). true.
Nit: Sopra la sintassi non valida (provare GNU per vedere questo). Dovrebbe essere '(=>)/2' – false
@false: oh, beh, non avevo nessun interprete disponibile per verificarlo. Grazie, modifico :) – m09
È sempre così: un indicatore di predicato deve avere parentesi se ha una corrispondente definizione di operatore. Quindi è '(;)/2' e' (',')/2'. Le virgolette servono solo a delimitare un token, come "a b" sono necessari indipendentemente dalle dichiarazioni dell'operatore. – false