tôi đã thực hiện các chức năng sau đây trong prolog với đoạn mã sau: abs2(X, Y) :- X < 0, Y is -X.
abs2(X, X) :- X >= 0, !.
Làm thế nào tôi có thể thực hiện chức năng này mà không cần dùng cắt ("!"
Để cắt giảm màu xanh lá cây trong Prolog tôi đang cố gắng thêm chúng vào định nghĩa tiêu chuẩn của tổng trong arithmetics kế thừa (xem predicate plus trong What's the SLD tree for this query?). Ý tưởn