Words: logic programming logic programing
Part of speech: n
Definition: creating a program that enables the computer to reason logically