[n] creating a program that enables the computer to reason logically [n] a computer language designed in Europe to support natural language processing
logic programing, Prolog