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)).