Quick definitions from WordNet (logic programming)
▸ noun: creating a program that enables the computer to reason logically
▸ noun: a computer language designed in Europe to support natural language processing
▸ noun: creating a program that enables the computer to reason logically
▸ noun: a computer language designed in Europe to support natural language processing