Определить оператора в SWI Пролог

Question

Я пытаюсь определить оператор в SWI Пролог.

:- op(700, xfx, and).

когда я загружаю файл с вышеуказанной строкой, он возвращает true, но когда я пытаюсь p and q, я получаю обратно:

ERROR: Undefined procedure: (and)/2 (DWIM could not correct goal)

Я просмотрел документацию, ноэто очень минимально.

Answer 1

Определение атома and в качестве инфиксного оператора делает a and b синтаксически допустимым термином , но не определяет предикат and/2 ,следовательно, вы получили ошибку.

Ваш вопрос намекает на то, что вы пытаетесь написать некоторый код для логики высказываний.Это тот случай?