Prolog: предложения не вместе в исходном файле

у меня есть этот кусок кода:

% 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).

Я получаю эту ошибку:

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

какова цель этой ошибки?
Я имею в виду, файл компилируется и работает просто отлично, и я знаю о значении ошибки. Но почему?
это просто уведомление для обеспечения наилучшей практики?

Я очень новичок в логическом программировании.
Спасибо!

19
iso-prolog prolog

2 ответов

правильно, это предупреждение для обеспечения наилучшей практики, которая заключается в объединении всех связанных предложений в исходном файле. Кроме того, близость предложений друг к другу в исходном файле не имеет значения, если их относительный порядок не изменяется.

13

предупреждение поощряет лучшие практики и помогает определить опечатки. Вот пример опечатки:

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

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

ошибку трудно обнаружить, но, к счастью, компилятор предупреждает:

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

С предупреждением и строку ошибки можно найти и исправить опечатку быстрее.

ISO Prolog обеспечивает discontiguous/1 директива для отключения этого предупреждения для определенных предикатов. См. раздел 7.4.2.3 спецификации. Он используется следующим образом:

:- discontiguous small/1.
5