E 'possibile costruire una funzione di ordine superiore isAssociative che prende un'altra funzione di due argomenti e determina se tale funzione è associativa? Domanda simile ma per altre proprietà co
C'è un modo per affermare che un operatore è commutativo, in modo da non dover fornire definizioni identiche per entrambe le direzioni? Per esempio: data Nat = Zero | Succ Nat
(+) :: Nat -> Nat -> N
come principiante di Prolog, ho trovato l'espressione commutativa in Prolog non del tutto intuitiva. per esempio se voglio esprimere X e Y sono in una famiglia, come: family(X,Y) :-
married(X,Y)