logic programming

a computer language designed in Europe to support natural language processing

creating a program that enables the computer to reason logically