Есть ли способ сделать, если в прологе, например, если переменная 0, то сделать некоторые действия (пишут текст в терминал). Еще даже не необходим, но я не могу найти документацию если.

Предикат if_ / 3, кажется, довольно популярен среди немногих основных авторов в части Prolog Stack Overflow. Этот предикат реализован как таковой, благодаря @false: if_ (If_1, Then_0, ...

Если я хочу убедиться, что две переменные не соответствуют одному и тому же термину, каков предпочтительный способ сделать это? Допустим, мне нужно найти ориентированные ребра в графе, а у узла не может быть ребра ...