Logic Programming Synonyms

A computer language designed in Europe to support natural language processing
(Noun)
Creating a program that enables the computer to reason logically
(Noun)