क्या उच्च आदेश फ़ंक्शन isAssociative बनाना संभव है जो दो तर्कों का एक और कार्य करता है और यह निर्धारित करता है कि वह कार्य सहयोगी है या नहीं? इसी प्रकार के प्रश्न लेकिन इस तरह के commutativity के रूप
, मैंने पाया कि प्रोलॉग में कम्यूटिव अभिव्यक्ति काफी सहज नहीं है। family(X,Y) :-
married(X,Y);
relative(X,Y);
father_son(X,Y).
मैं भी परिभाषा के लिए निम्न जोड़ना चाहिए ताकि इसे "वि