О наличии у текущей подцели альтернативных решений (в окне трассировки) индицирует:
О неудачной попытке вычислить текущую подцель информирует (в окне трассировки):
Нужно ли в теле правила, определяющего шаг рекурсии, указывать в качестве подцели определяемый предикат?
Выполнение подцели filepos(f,3,2) приведет к смещению позиции чтения/записи:
Выполнение подцели filepos(f,3,0) приведет к смещению позиции чтения/записи:
Выполнение подцели filepos(f,3,1) приведет к смещению позиции чтения/записи;
Можно ли использовать предикат filemode для того чтобы изменить режим отсчитывания позиции для предиката filepos (от начала файла, от конца файла или от текущей позиции)?
Изменится ли результат, если в предикате, реализующем разность, поменять местами первый и второй аргументы?
Изменится ли результат, если в предикате, реализующем пересечение, поменять местами первый и второй аргументы?
Изменится ли результат, если в предикате, реализующем объединение, поменять местами первый и второй аргументы?