kbase—p：一个知识库程序设计语言*

kbase—p是一个知识库程序设计语言．它以kbase作为查询语言，以fd—prolog为过程性的宿主语言．二者具有相同的编程风范，都是horn子句风范，并且系统对任何磁盘数据访问都是以“每次一个集合”的方式进行，因此在kbase—p中．查询语言与宿主语言之间的“阻抗不匹配”问题尽可能地减小了．kbase—p以rdbms来管理事实(包括中间求值结果)和规则，因此能够有效地管理大容量的数据，并且数据是可共享的，适合于处理大规模的知识密集型应用．本文介绍了kbase—p语言及其特点，并与相关的系统进行了比较．