:- dynamic(capital_of/2).
:- dynamic capital_of/2.

capital_of(hawaii, honolulu).
capital_of(georgia, atlanta).
capital_of(california, sacramento).
capital_of(florida, tallahassee).
capital_of(maine, augusta).
capital_of(hawaii, honolulu).

