Пролог петли и условные операторы?

Question

Есть ли в Прологе что-то, что работает как цикл for и если тогда условие?

Answer 1

если / то / еще можно получить с помощью (->) / 2 и (;) / 2:

(    If ->
     Then
;    Else
)

Иногда это полезно. Хотя в общем случае (когда условие содержит переменные), оно сделает ваши программы нездоровыми и неполными. Всякий раз, когда возможно описать условия сопоставления с образцом, следует использовать сопоставление с образцом. Тогда вы сможете не только проверять, но и генерировать решения.

Answer 2

Если вы ищете такие утверждения, то вы не думаете в Прологе:)

Шучу, кстати, нет простого перевода или для и если / еще, но вы можете подуматьо том, как они должны быть в прологе:

• и if / else утверждение можно получить, просто имея два правила, которые соответствуют различным условиям
• a цикл for может быть выполнен с двумя рекурсивными правилами, одно из которых является базовым, и он не зависит от себя, чтобы хранить его, в то время как другой делает то, что вы собираетесь делать внутри цикла, и следует самому себе.