论文部分内容阅读
当前的实用知识库系统研究是将知识库查询语言嵌入到一个过程语言中．ＫＢＡＳＥ－Ｐ是一个通用的知识库程序设计语言．ＫＢＡＳＥ－Ｐ以ＫＢＡＳＥ作为查询语言，以ＦＤ－ＰＲＯＬＯＧ（我们开发的一个ＰＲＯＬＯＧ扩充）为过程性的宿主语言执行１／Ｏ和ＤＢ更新操作（用扩充的内部谓词）．由于良好的设计和实现，查询语言与宿主语言之间的阻抗不匹配问题相对较小．因而，ＫＢＡＳＥ－Ｐ是一个比较实用的知识库程序设计语言．ＫＢＡＳＥ－Ｐ系统支持逻辑程序设计语言（ＫＢＡＳＥ－Ｐ语言）的程序开发，提供了文本编辑、文件管理、谓词管理、事实操作、Ｄａｔａｌｏｇ查询、ＳＱＬ查询等功能．本文详细介绍了ＫＢＡＳＥ－Ｐ系统的设计和实现．
Current practical knowledge base system research embeds knowledge base query language into a process language. KBASE-P is a common knowledge base programming language. KBASE-P uses KBASE as its query language to perform 1 / O and DB update operations (with extended internal predicates) as the procedural host language in FD-PROLOG (a PROLOG extension we developed). Due to good design and implementation, the problem of impedance mismatch between the query language and the host language is relatively small. Therefore, KBASE-P is a more practical knowledge base programming language. The KBASE-P system supports program development in the logic programming language (KBASE-P language) and provides functions such as text editing, file management, predicate management, fact-based operations, Datalog queries and SQL queries. This article details the design and implementation of KBASE-P system.