Vấn đề khi cố gắng xác định một nhà điều hành trong Prolog

Question

tôi đã xác định một tập tin prolog với đoạn mã sau:

divisible(X, Y) :- 
    X mod Y =:= 0. 

divisibleBy(X, Y) :- 
    divisible(X, Y). 

op(35,xfx,divisibleBy). 

Prolog được phàn nàn rằng

'$ record_clause'/2: Không có quyền sửa đổi static_procedure `op/3 '

Tôi đang làm gì sai? Tôi muốn xác định toán tử divisibleBy cho phép tôi viết mã như sau:

4 divisibleBy 2 

Cảm ơn.

Answer 1

Sử dụng

:- op(35,xfx,divisibleBy). 

:- nói với người phiên dịch Prolog để đánh giá nhiệm kỳ tiếp theo trong khi tải các tập tin, tức là thực hiện cuộc gọi vị, thay vì đối xử với nó như một định nghĩa (trong trường hợp này việc xác định lại op/3).

Answer 2

answer given by @larsmans là địa điểm liên quan đến vấn đề ban đầu của bạn.

Tuy nhiên, bạn nên xem xét lại nếu bạn nên xác định toán tử mới.

Nói chung, tôi sẽ tư vấn cho mạnh mẽ chống lại việc xác định các nhà khai thác mới vì những lý do sau đây:

• Việc đạt được trong khả năng đọc thường đánh giá quá cao.
• Nó có thể dễ dàng giới thiệu các vấn đề mới ở những nơi bạn thường không mong đợi lỗi.
• Nó không "mở rộng" tốt: một số ít nhà khai thác có thể tạo mã trên trang trình bày siêu ngắn gọn, nhưng nếu bạn thêm nhiều trường hợp công đoàn phân biệt theo thời gian thì sao? Nhiều nhà khai thác hơn?