tiene(belarmino, libro(hobbit, tolkien)).
tiene(belarmino, libro(el_senor_de_los_anillos, tolkien)).
tiene(belarmino, libro(yo_robot, asimov)).
tiene(belarmino, libro(fundacion, asimov)).
tiene(belarmino, libro(hobbit, autor(jrr, tolkien))).
tiene(belarmino, libro(yo_robot, autor(isaac, asimov))).

