Prolog语言的开发与研究  

作　　者：丁凤丽[1] 

机构地区：[1]宁夏大学数学与计算机学院,宁夏银川750021

出　　处：《软件导刊》2008年第9期45-46,共2页Software Guide

摘　　要：Prolog语言是基于一阶谓词逻辑的Horn子句,其丰富的表达能力极大地促进了知识处理、专家系统等应用领域的进一步发展。对Prolog语言的语法及数据结构进行了简单介绍,归纳出Prolog语言的主要特征,并以具体实例说明了它的程序结构。

关 键 词：一阶谓词 PROLOG语言 HORN子句 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论]