Что означает / 2/3 в прологе?

Question

Что делают те /2 /3, которые я вижу в примере кода?

Как этот:

4 ?- trace([equals,contains]).

% equals/2: [call, redo, exit, fail]

% contains/2: [call, redo, exit, fail]

Кроме того, любая рекомендация относительно хорошего видео / учебника, к которому я могу неоднократно возвращаться, очень поможет.

Answer 1

Изучите Пролог сейчас! - хорошее руководство.

В Прологе строки, начинающиеся с '%', являются комментариями.

equals/2 описывает функторequals с арностью двух, что означает, что он ожидает два аргумента.