:- dynamic capital_of/2.

capital_of(florida,talahassee).
capital_of(georgia,atlanta).
capital_of(california,sacramento).
capital_of(connecticut,hartford).
capital_of(kentucky,frankfort).
capital_of(texas,austin).
capital_of(hawaii,honolulu).
capital_of(nevada,carson_city).
capital_of(arizona,phoenix).
capital_of(alabama,montgomery).
