Пролог петли и условные утверждения?

Question

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

Answer 1

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

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

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

Answer 2

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

( If -> 
    Then 
; Else 
) 

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