:- use_module(baseKB,[]).

baseKB:loves(x,y).