How the logic programming can be constructed?

• A. Variables
• B. Expressing knowledge in a formal language
• C. Graph
• D. All of the mentioned