школьник('Андреев').
школьник('Борисов').
школьник('Васильев').
школьник('Григорьев').
школьник('Данилов').

город('Ярославль').
город('Гагарино').
город('Вязьма').
город('Ельня').
город('Ярцево').

соответствие(Школьник,Город):- 
	школьник(Школьник),
	город(Город).

из_города(Школьник,Город):-
	соответствие('Андреев',X1), 
	соответствие('Борисов',X2),
	соответствие('Васильев',X3), 
	соответствие('Григорьев',X4),
	соответствие('Данилов',X5),
	((X1='Ярославль',X4\='Гагарино');(X1\='Ярославль',X4='Гагарино')),
	((X2='Вязьма',X3\='Гагарино');(X2\='Вязьма',X3='Гагарино')),
	((X3='Ярославль',X2\='Ельня');(X3\='Ярославль',X2='Ельня')),
	((X4='Гагарино',X5\='Ярцево');(X4\='Гагарино',X5='Ярцево')),
	((X5='Ярцево',X1\='Вязьма');(X5\='Ярцево',X1='Вязьма')),
	( 
		(X1=Город,Школьник='Андреев');
		(X2=Город,Школьник='Борисов');
		(X3=Город,Школьник='Васильев');
		(X4=Город,Школьник='Григорьев');
		(X5=Город,Школьник='Данилов')
	).

[GadenbIsh@localhost prolog]$ ./lab02
GNU Prolog 1.3.1
By Daniel Diaz
Copyright (C) 1999-2009 Daniel Diaz
| ?- test(0).
1. из_города('Данилов', Город)
Город =  'Ярцево'