Baza faktów:

cecha(kierowca).
cecha(łysy).
cecha(skąpy).
cecha(filatelista).

permutacja(X, Y) :- cecha(X), cecha(Y), \+(X = Y).

permutacja(A, B, C) :-
    permutacja(A, B),
    permutacja(A, C),
    permutacja(B, C).

permutacja(A, B, C, D) :-
    permutacja(A, B, C),
    permutacja(A, D),
    permutacja(B, D),
    permutacja(C, D).

znajomi(A,B,C,D) :-
    permutacja(A,B,C,D),
    ((A = kierowca) ; \+(C = łysy)),
    (\+((B = łysy) ; (B = filatelista)) ; (A = kierowca)),
    ((C = skąpy) ; (B = filatelista)),
    (\+(D = łysy) ; \+(B = kierowca)),
    ((D = kierowca) ; (B = kierowca)).

Zapytanie:

znajomi(A,B,C,D)