true.

?- color(Looky, red).
Looky = a.

?- color(Looky, black).
Looky = b.

?- color(Looky, What).
Looky = a,
What = red.

?- color(a, Color).
Color = red.

?- color(b, Color).
Color = black.

?- color(george, Color).
Color = unknown.

?- halt.