Избегая использования предиката абсолютного значения в Прологе

Я реализовал следующую функцию в прологе с помощью следующего кода:

abs2(X, Y) :- X < 0, Y is -X.
abs2(X, X) :- X >= 0, !.

Как я могу реализовать эту функцию без использования cut (" ! ")?

6
задан false 27 February 2015 в 14:26
поделиться