参考答案：A

解析：

本题考查的是几种语言支持的程序设计范型。在程序设计发展史上，较为流行的程序设计范型有过程式程序设计、逻辑式程序设计、函数式程序设计、面向对象程序设计和泛型程序设计等。其中C语言仅支持过程式程序设计，JAVA支持面向对象程序设计， PROLOG支持逻辑式程序设计，HTML不是程序设计语言。