Romek, Krystek, Tomek, Edek i Heniek na osiedlu mają pięć garaże jeden obok drugiego, stoją tam Citroen, Fiat, Ford, Opel i Volvo.
Między garażem, w którym stoi Fiat a garażem w którym stoi samochód Roma, jest dokładnie jeden garaż.
Krystek nie jeździ Citroenem Ani Fiatem, Ani Fordem który stoi w garażu № 3.
Garaż Tomka nie sąsiaduje z garażem Edka.
Romek nie jeździ Oplem Ani Fordem.
Garaż Edka sąsiaduje z garażem w którym stoi Volvo.
Garaż, w którym stoi Citroen, nie sąsiaduje Ani z Oplem Ani z Volvo, i jest z lewa od nich.
Ustał kto jaki samochód posiada
mam selecta
nie_jezdzi_krzysiek(citroen).
nie_jezdzi_krzysiek(fiat).
nie_jezdzi_krzysiek(ford).
nie_jezdzi_romek(opel).
nie_jezdzi_romek(ford).
garaze(R,K,T,E,H):-
L = [citroen,fiat,ford,opel,volvo],
select(R,L,L1),
select(K,L1,L2),
select(T,L2,L3),
select(E,L3,L4),
select(H,L4,_),
not(nie_jezdzi_romek(R)),
not(nie_jezdzi_krzysiek(K)).