:- op(500,xfx,'has_color').

a has_color red.
b has_color blue.