Which combines inductive methods with the power of first-order representations?

• A. Inductive programming
• B. Logic programming
• C. Inductive logic programming
• D. Lisp programming