Noun
creating a program that enables the computer to reason logically
a computer language designed in Europe to support natural language processing
Source: WordNetConcepts Logic and control main Logic programming can be viewed as controlled deduction. Source: Internet
Logic programming for the real world. Source: Internet