Я использовал gprolog thingy, чтобы сделать что-то в прологе. Но теперь, тестируя еще один код, я обнаружил, что он не поддерживает «false». Что поддерживается swi?
Я недавно узнал о Prolog, и я нахожу три типа, используемых для определения запутывающих операторов-инфикс. Каковы различия между xfx, xfy и yfx при указании типа оператора? Я искал проблему и не наше
Я вижу косую черту, используемые, как это в коде: solution([X/Y|Others]) :-
noattack(X/Y, Others).
Но тогда я иногда вижу «/ 1» «/ 2» и т.д. в Прологе , Что означают эти утверждения (символы)?