Có thể xây dựng hàm bậc cao hơn isAssociative có chức năng khác của hai đối số và xác định xem hàm đó có liên kết không? Câu hỏi tương tự nhưng đối với các thuộc tính khác chẳng hạn như tính tương gia
là người mới bắt đầu với Prolog, tôi thấy biểu hiện giao hoán trong Prolog khá trực quan. ví dụ nếu tôi muốn bày tỏ X và Y là trong một gia đình, như: family(X,Y) :-
married(X,Y);
relative