工智慧的研究中，它可以用来建造专家系统、自然语言理解、智慧知识库等，在早期的机器智慧研究领域，Prolog曾经是主要的开发工具。而Prolog语言中最重要的功能即是：回溯，这点与其他一般的程式语言有着明显的不同。
程式资讯.Prolog的程式语言包含了三个主要部份：domains, predicates 与 clauses，而执行程式则是以Goal来回应。说明如下：domains 宣告。定义栏位的属性，如：文字，整数，数值...等。predicates 判断，或称为谓词