Correct Answer : Option (D) :   Expressing knowledge in a formal language

Explanation : Logic programming can be constructed by expressing knowledge in a formal expression and the problem can be solved by running inference process.