Prolog是一种人工智能语言,是自然语言处理(NLP)和逻辑编程(PL)的一种。它的设计目标是提供一种高度抽象和逻辑推理的语言,用于处理各种任务,如问题求解-prolog是人工智能语言吗