The objects bill and kim begin with lower-case letters because they are not variables--instead, they are symbols, having a constant value
Prolog can handle upper-case letter to represent a symbol or a value by surrounding it by double quotes. Hence, the token bill can be “Bill” if you want it to begin with an upper-case letter.