Prolog

[qip2005]

Доброго времени суток.
Ребята, такая задача - есть нерегулируемый перекресток, на нем встречаются 3 авто и нужно решить кто за кем должен проехать. Вот пытаюсь реализовать хотя бы для двух авто и хочу чтобы для ситуации когда никто никого не должен пропускать выводились все возможные комбинации их движения. То есть если два навстречу двигающихся авто на перекрестке никуда не поворачивают а двигаются прямо, то вывести нечто вроде : "1-м проезжает - 1-й автомобиль, 2-м проезжает - 2-й автомобиль; 1-м проезжает -2-й автомобиль, 2-м проезжает - 1-й автомобиль;"

Вот код который получился:

predicates 
ts_v_rukave1(string) 
ts_v_rukave2(string) 
napravo(string) 
nalevo(string)
pryamo(string) 
proedet_pervym(string) 
proedet_vtorym(string) 
poryadok_proezda(string, string) 
razyezd_na_perekrestke(string, string, string, string, string, string) 
clauses 
ts_v_rukave1(X1) :- razyezd_na_perekrestke(X1,_,_,_,_,_) . 
ts_v_rukave2(X2) :- razyezd_na_perekrestke(_,_,X2,_,_,_) . 

napravo(X1) :- razyezd_na_perekrestke(X1,"napravo",_,_,_,_) . 
napravo(X2) :- razyezd_na_perekrestke(_,_,X2,"napravo",_,_). 

nalevo(X1) :- razyezd_na_perekrestke(X1,"nalevo",_,_,_,_) . 
nalevo(X2) :- razyezd_na_perekrestke(_,_,X2,"nalevo",_,_) . 

pryamo(X1) :-  razyezd_na_perekrestke(X1,"pryamo",_,_,_,_) . 
pryamo(X2) :-  razyezd_na_perekrestke(_,_,X2,"pryamo",_,_) . 

proedet_pervym(X1) :- 	ts_v_rukave1(X1), ts_v_rukave2(X2), napravo(X1), nalevo(X2); 
			ts_v_rukave1(X1), ts_v_rukave2(X2), pryamo(X1), nalevo(X2); 
			ts_v_rukave1(X1), ts_v_rukave2(X2), pryamo(X1), pryamo(X2); 
			ts_v_rukave1(X1), ts_v_rukave2(X2), napravo(X1), pryamo(X2), !.
proedet_pervym(X2) :- 	ts_v_rukave1(X1), ts_v_rukave2(X2), pryamo(X1), pryamo(X2), !.

proedet_vtorym(X2) :- 	ts_v_rukave1(X1), ts_v_rukave2(X2), napravo(X1), nalevo(X2); 
			ts_v_rukave1(X1), ts_v_rukave2(X2), pryamo(X1), nalevo(X2); 
			ts_v_rukave1(X1), ts_v_rukave2(X2), pryamo(X1), pryamo(X2); 
			ts_v_rukave1(X1), ts_v_rukave2(X2), napravo(X1), pryamo(X2), !.
proedet_vtorym(X1) :- 	ts_v_rukave1(X1), ts_v_rukave2(X2), pryamo(X1), pryamo(X2), !.

poryadok_proezda(X1,X2) :- X1=X2, write("Pervy "), write ("| Vtoroy "), nl, proedet_pervym(X1), proedet_vtorym(X2),!. 
razyezd_na_perekrestke ("auto_1", "pryamo", "auto_2", "pryamo", "", "") . 
goal 
poryadok_proezda(X1,X2) .

Но ее результат включает в себя вариант "1-м проезжает - 1-й автомобиль, 2-м проезжает - 1-й автомобиль; 1-м проезжает -2-й автомобиль, 2-м проезжает - 2-й автомобиль;".

Хелп плиз. Настолько он непонятный этот ПРОЛОГ, что я уже сдался...