复杂对象逻辑程序设计语言的研究与实现

复杂问题的研究不但是逻辑程序设计，而且是数据库领域的一个重要的研究课题。我们研究了目前具有代表意义和支持复杂对象的逻辑程序设计语言，如Colo LDLI, LPS和HILOG，进行了研究，并提出了SETLOG逻辑程序设计语言。在SetloG中我们首先提出了SL集合的概念。SL集合的概念解决了LDL1中集合全等的过于平凡的问题，也解决了任意集合一的实际不可计算问题。我们研究了Setlog的证明论和过程性语义。并取得了一些有趣的结果。但是由于时间不足（原来对问题难认识不足）。对Setlog的模型论意义和一致性完备性问题还没有来得及评论。在此项研究中共撰写两篇论文，一篇发表于软件学报，另一篇已通过软件学报一审，还完成一篇硕士论文，其它论文将在97年发表。