KBASE—P：一个知识库程序设计语言

ＫＢＡＳＥ－Ｐ是一个知识库程序设计语言，它以ＫＢＡＳＥ作为查询语言，以ＦＤ－ＰＲＯＬＯＧ为过程性的宿主语言，二者具有要同的编程风范，都是Ｈｏｒｎ子句风范，并且系统对任何磁盘访问是以“每次一个集合”的方式进行，因此在ＫＢＡＳＥ－Ｐ中，查询语言与宿主语言之间的“阻抗不匹配”问题尽可能地减小了，ＫＢＡＳＥ－Ｐ以ＲＤＢＭＳ来管理事实（包括中间求值结果）和规则，因此能够有效地管理大容量的数据。