logic programming: creating a program that enables the computer to reason logically
programming: creating a sequence of instructions to enable the computer to do something
home rule: self-government in local matters by a city or county that is part of a national government