Definitions of logic programming:

• noun:   creating a program that enables the computer to reason logically
• noun:   a computer language designed in Europe to support natural language processing