Avviso di predicato discontinuo da GNU Prolog

Question

Per un allodola ho iniziato a imparare Prolog tramite http://www.learnprolognow.org/. La mia scusa è che ho solo solo avviato.

Non sono sicuro di come il seguente esercizio (semplice?) Dovrebbe essere scritto per funzionare come previsto. http://cs.union.edu/~striegnk/learn-prolog-now/html/node13.html#sec.l1.exercises

vedo che Gnu Prolog 1.4 (http://www.gprolog.org/) non è felice che il 2 ° predicato per la procedura guidata \ 1 non è vicino al primo. Posso riordinare il programma per farlo funzionare, ma poi finisco con il codice che al mio principiante, l'occhio di Prolog è meno comprensibile di quello presentato di seguito.

Mi manca qualcosa di ovvio?

wiz.pl

wizard(ron). 
hasWand(harry). 
quidditchPlayer(harry). 

wizard(X) :- hasBroom(X),hasWand(X). 
hasBroom(X) :- quidditchPlayer(X). 

consultare wiz.pl

| ?- [wiz]. 
compiling D:/wiz.pl for byte code... 
D:/wiz.pl:5: warning: discontiguous predicate wizard/1 - clause ignored 
D:/wiz.pl compiled, 5 lines read - 632 bytes written, 24 ms 

Answer 1

La maggior parte Prologs vogliono che le clausole di un particolare predicato per essere incluso insieme, a meno che non fare un po 'di magia. Sono sorpreso che Striegnitz e Bos ignorino questo. Modificare il programma per

% all clauses for wizard/1 
wizard(ron). 
wizard(X) :- hasBroom(X),hasWand(X). 

hasWand(harry). 
quidditchPlayer(harry). 
hasBroom(X) :- quidditchPlayer(X). 

Si noti che ho tenuto le clausole per wizard/1 nello stesso ordine come nel programma originale. Per semplici basi di conoscenza come questa, l'ordine non importa molto, ma quando si implementano algoritmi non deterministici, l'ordine delle clausole può determinare l'ordine in cui vengono generate le soluzioni.

Answer 2

C'è una direttiva ISO Prolog discontiguous che è possibile utilizzare per rilassarsi questo requisito per una specifica predicato:

http://www.gprolog.org/manual/gprolog.html#htoc53