logic programming

noun

1.
a computer language designed in Europe to support natural language processing
logic programing Prolog
2.
creating a program that enables the computer to reason logically
logic programing