:软体说明.Borland Turbo Prolog 採用了特殊的 Prolog 的语法与类型的变量，并于使用上有一些限制，但这不符合Edinborough的标准。 然而，Turbo Prolog 编辑器包含基本的使用者介面，可以方便设计人使用。而Prolog是一种逻辑编程语言。它建立在逻辑学的理论基础之上，最初被运用于自然语言等研究领域。现在它已广泛的应用在人工智慧的研究中，它可以用来建造专家系统、自然语言理解、智慧知识库等，在早期的机器智慧研究领域，Prolog曾经是主要的开发工具。而Prolog语言