Простой: как сделать тест для ложного случая?

Question

Тест должен возвращать true: если первая часть истинна, а вторая - false.

Попробовал сделать что-то вроде этого:

f_test :- f(x), % 1st part 
      f(y) is false. % 2nd part 

Но это дает мне ошибку:

ERROR: is/2: Arithmetic: `false/0' is not a function. 

Скажите, пожалуйста, как это сделать правильно?

Answer 1

(is)/2 предикат предназначен для выполнения арифметических операций. Даже если ваш тест касался арифметики, было бы предпочтительным использование (=:=)/2 (потому что для создания экземпляра переменной используется (is)/2. Когда вы используете его для проверки значения переменной, вы его неправильно используете. OTOH, (=:=)/2 используется для сравнения чисел).

Но здесь ваш тест не об арифметике, это о знании, если что-то верно или нет. Существует оператор для этого, который проверяет, является ли данный термин доказуемо или нет, это (\+)/1, использование:

f_test :- 
    f(x), 
    \+ f(y). 

Answer 2

Вы можете попробовать

f_test :- f(x), \+f(y).