逻辑程序语言中的集合  

Sets in Logic Programming Language

作　　者：袁军[1] 陈栋[1] 王能斌[1] 

机构地区：[1]东南大学计算机系

出　　处：《计算机研究与发展》1995年第4期27-32,共6页Journal of Computer Research and Development

摘　　要：本文首先讨论了引入集合的意义，然后建立了一种基于集合项的归约演算，并且对集合项的存储和含集合符号的逻辑数据语言的计算进行了一些探讨。本文所介绍的方法通过规则编译时对存储有序集的改写，使得对集合的匹配通过一般函数的匹配算法就可以完成，提高了计算的效率。We establish a reduction calculus based on set terms and make a discussion on how to store setterms in deductive database. In the end, we propose a technique of rewriting EDB set table in compiling time sothat the matching of set terms can be performed by ordinary matching alogrithms.

关 键 词：逻辑程序语言 演绎数据库 集合 

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