基本的使用者介面，可以方便设计人使用。而Prolog是一种逻辑编程语言。它建立在逻辑学的理论基础之上，最初被运用于自然语言等研究领域。现在它已广泛的应用在人工智慧的研究中，它可以用来建造专家系统、自然语言理解、智慧知识库等，在早期的机器智慧研究领域，Prolog曾经是主要的开发工具。而Prolog语言中最重要的功能即是：回溯，这点与其他一般的程式语言有着明显的不同。
程式资讯.Prolog的程式语言包含了三个主要部份：domains, predicates 与 clauses，而执