domains
	imie, rzecz = symbol

predicates
	posiada(imie,rzecz)
	ma_dostep(imie,rzecz)
	lubi(imie,rzecz)
	korzysta(imie,rzecz)

clauses
	posiada(jan,auto).
	posiada(ewa,radio).
	posiada(tomasz,video).
	posiada(monika,auto).
	posiada(jan,radio).
	ma_dostep(monika,video).
	ma_dostep(monika,radio).
	ma_dostep(monika,ksiazki).
	lubi(ewa,radio).
	lubi(monika,ksiazki).
	lubi(tomasz,video).
	lubi(ewa,video).
	lubi(_,auto).
	korzysta(ewa,plyty).
	korzysta(X,Y) if posiada(X,Y) and lubi (X,Y).
	korzysta(X,Y):-ma_dostep(X,Y),lubi(X,Y).