知识库语言—Prolog与Datalog

知识库语言是一类适应人工智能和知识工程领域的、具有符号处理和逻辑推理能力的计算机程序设计语言。它能够用来编写程序求解非数值技术、知识处理、推理、规划、决策等具有智能的各种复杂问题。论述了知识库语言Prolog与Datalo语言的语句结构、特点,并且给出了程序设计的实例加以说明。