定义谓词Prog(x)x是需要编程序的课。Like(x，y)x喜欢y。谓词公式Prog(x)→Like(wang，x)表示的事实为()。

A.只要是需要编程序的课，小王都喜欢

B.小王喜欢编程序的课

C.小王喜欢C语言

D.C语言是编程序的课