PREDICATES

слева(string,string)
справа(string,string)
раньше(string,string)
ряд(string,string,string,string,string)

CLAUSES

раньше(Олег, Юра).
раньше(Юра, Миша).

слева(Витя, Миша).
справа(Миша, Саша).

ряд(Q, W, E, R, T):- раньше(Q, W), раньше(W, R), слева(E, R), справа(R, T).
GOAL
ряд(Q, W, E, R, T), write(Q,”-”,W,”-”,E,”-”,R,”-”,T),nl.