....
verheiratet(anton, berta).
verheiratet(caesar, dora).
verheiratet(emil, ida).
verheiratet(gustav, paula).
verheiratet(Frau, Mann) :-
                        weiblich(Frau),
                        maennlich(Mann),
                        verheiratet(Mann,Frau).

nicht vereinfachen könne.

verheiratet(Frau, Mann) :-
                        verheiratet(Mann,Frau).

Die "Vereinfachung" funktioniert nicht. Benutzt man das Prädikat als Prüfprädikat mit dem Fließmuster (i,i) so liefert z.B. die  Abfrage

verheiratet(paula, gustav).

zwar YES, aber die Abfrage terminiert nie zu No. Wegen der Symmetrie in dem Prädikat versucht die Inferrenzmaschine immer weiter. "Frau" und "Mann" lassen sich semantisch nicht mehr unterscheiden. Dies wird noch deutlicher, wenn man das Prädikat als Erzeugungsprädikat benutzt, um alle verheirateten Paare anzeigen zu lassen.

verheiratet(X, Y).

Hier werden alle möglichen Paare i.P. beliebig oft angezeigt. Man versuche es.