Prolog PrologProgramming in Logic的缩写是一种逻辑编程语言它建立在逻辑学的理论基础之上 最初被运用于自然语言等研究领域现在它已广泛的应用在人工智能的研究中它可以用来建造专家系统自然语言理解智能知识库等