owns(bill, book('A.N. Other', 'The laws of confusion', 'Thomson', 1993)).
owns(bill, car('Vauxhall', 'Cavalier', 87000, 1992)).
owns(marion, book('A.C. Jones', 'Why I am almost perfect', 'Bluffem press', 1998)).

display_item(book(Auth, Title, Pub, Yr)):-
	write('a book: '), nl,
	write(Auth), nl, write('"'), write(Title),
	write('" Publisher: '), write(Pub), write(' Year: '), write(Yr), nl.

display_item(car(Manuf, Mod, Miles, Yr)):-
	write('a car: '), nl,
	write(Manuf), write(' '),
	write(Mod), write(' Mileage: '),
	write(Miles), write(' Year: '), write(Yr), nl, nl.

go:-
	owns(X, Item),
	write(X),
	write(' owns '),
	display_item(Item), fail.

go.