'если' в прологе?
Есть ли способ сделать, если в прологе, например, если переменная 0, то сделать некоторые действия (пишут текст в терминал). Еще даже не необходим, но я не могу найти документацию если.
2 ответа
Стандартный предикат prolog будет делать следующее.
isfive(5).
будет оцениваться как true, если вы вызовете его с 5, и fail(return false), если вы запустите его с чем-либо еще. Для неравного вы используете \=
isNotEqual(A,B):- A\=B.
Технически он не объединяет, но похож на неравный.
Learn Prolog Now - хороший сайт для изучения пролога.
Редактировать: Чтобы добавить еще один пример.
isEqual(A,A).
Программа Prolog на самом деле является большим условием для «if» с «then», которое выводит «Цель достигнута» и «else», которое выводит «Никаких ошибок не найдено». A, B означает «A истинно, а B истинно», большинство систем пролога не будут пытаться удовлетворить «B», если «A» недостижимо (то есть X = 3, запишите ( «X is 3»), nl напечатает «X is 3», если X = 3, и ничего не сделает, если X = 2).