ist_lieb(sandra).
ist_guter_freund(X) :- ist_lieb(X).

?- ist_guter_freund(sandra).