Prolog: klauzule nie są razem w pliku źródłowym

Question

Mam ten fragment kodu:

% Family tree 
female(pen). 
male(tom). 
male(bob). 
female(liz). 
female(pat). 
female(ann). 
male(jim). 

parent(pam, bob). 
parent(tom, bob). 
parent(tom, liz). 
parent(bob, ann). 
parent(bob, pat). 
parent(pat, jim). 

otrzymuję ten błąd:

Warning: Clauses of female/1 are not together in source-file 
Warning: Clauses of male/1 are not together in source-file 

Jaki jest cel tego błędu?
Mam na myśli, plik kompiluje się i działa dobrze i jestem świadomy znaczenia błędu. Ale dlaczego?
Czy to tylko wymóg wymuszania najlepszych praktyk?

Jestem bardzo nowy w programowaniu logicznym.
Dzięki!

Answer 1

Prawidłowo, to ostrzeżenie wymuszające stosowanie sprawdzonych metod, czyli umieszczanie wszystkich powiązanych klauzul w pliku źródłowym. Poza tym bliskość klauzul między sobą w pliku źródłowym nie ma znaczenia, o ile ich względna kolejność się nie zmienia.

Answer 2

Ostrzeżenie zachęca do stosowania najlepszych praktyk i pomaga wykryć literówki. Oto literówka przykład:

small(ant). 
small(fly). 
small(molecule). 

smell(sweet). 
smell(pungent). 
small(floral). 

Błędem jest trudne do wykrycia, ale na szczęście kompilator ostrzega:

Warning: /tmp/test.pl:7: 
Clauses of small/1 are not together in the source-file 

z ostrzeżeniem i błędu linii, można znaleźć i szybciej poprawić literówkę.

ISO Prolog dostarcza dyrektywę discontiguous/1, aby uciszyć to ostrzeżenie dla określonych predykatów. Zobacz rozdział 7.4.2.3 specyfikacji. Jest używany w następujący sposób:

:- discontiguous small/1.