Czy istnieje sposób na stwierdzenie, że operator jest przemienny, tak że nie muszę podawać identycznych definicji dla obu kierunków? Na przykład: data Nat = Zero | Succ Nat
(+) :: Nat -> Nat -> Nat
jako początkujący Prolog, stwierdziłem, że wyrażenia przemienne w Prologu nie są intuicyjne. na przykład jeśli chcę wyrazić X i Y są w jednej rodzinie, jak: family(X,Y) :-
married(X,Y);
re
TL; DR: Czy istnieje sposób określania kolejności uruchamiania wtyczek Babel? W jaki sposób Babel określa tę kolejność? Czy jest jakieś sprecyzowanie, jak to działa, oprócz nurkowania w źródła Babel?