apja( nagy_janos, nagy_robert ). apja( nagy_janos, nagy_gabor ). apja( nagy_janos, nagy_reka ). anyja( kis_zsuzsa, nagy_robert ). anyja( kis_zsuzsa, nagy_gabor ). anyja( kis_zsuzsa, nagy_reka ). apja( szabo_peter, szabo_erika ). anyja( kovacs_anna, szabo_erika ). apja( juhasz_tamas, juhasz_orsolya ). anyja( szabo_erika, juhasz_orsolya ). apja( szabo_pal, szabo_zsolt ). apja( szabo_pal, szabo_maria ). anyja( varga_zsofia, szabo_zsolt ). anyja( varga_zsofia, szabo_maria ). apja( szabo_elek, szabo_pal ). apja( szabo_elek, szabo_peter ). anyja( pasztor_edit, szabo_pal ). anyja( pasztor_edit, szabo_peter ). apja( pasztor_janos, pasztor_edit ). anyja( nagy_reka, pasztor_edit ). apja( pasztor_andras, pasztor_janos ). anyja( kocsis_piroska, pasztor_janos ). szuloje( A, B ) :- apja( A, B ). szuloje( A, B ) :- anyja( A, B ). testvere( A, B ) :- szuloje( X, A ), szuloje( X, B ), A != B. ferje( A, B ) :- apja( A, X ), anyja( B, X ). felesege( A, B ) :- anyja( A, X ), apja( B, X ). parja( A, B ) :- ferje( A, B ). parja( A, B ) :- felesege( A, B ). sogora( A, B ) :- testvere( A, X ), ferje( B, X ). sogornoje( A, B ) :- testvere( A, X ), felesege( B, X ). sogornoje( A, B )?