期刊文献+
共找到9篇文章
< 1 >
每页显示 20 50 100
LLM赋能的Datalog代码翻译技术及增量程序分析框架
1
作者 王熙灶 沈天琪 +1 位作者 宾向荣 卜磊 《软件学报》 北大核心 2025年第6期2515-2534,共20页
Datalog是一种声明式逻辑编程语言,在不同领域得到了广泛应用.近年来,学术界和工业界对Datalog的兴趣高涨,设计并开发了多种Datalog引擎和相应方言.然而,多方言带来的一个问题是以一种Datalog方言实现的代码,一般而言不能在另一种方言... Datalog是一种声明式逻辑编程语言,在不同领域得到了广泛应用.近年来,学术界和工业界对Datalog的兴趣高涨,设计并开发了多种Datalog引擎和相应方言.然而,多方言带来的一个问题是以一种Datalog方言实现的代码,一般而言不能在另一种方言的引擎上执行.因此,当采用新Datalog引擎时,需要将现有Datalog代码翻译到新方言上.目前的Datalog代码翻译技术可分为人工重写代码和人工设计翻译规则两类,存在耗时长、大量重复劳动、缺乏灵活性和可拓展性等问题.提出了一种大语言模型(LLM)赋能的Datalog代码翻译技术,利用LLM强大的代码理解和生成能力,通过分治翻译策略、基于少样本提示和思维链提示的提示工程、基于检查-反馈-修复的迭代纠错机制,可以在不同Datalog方言之间实现高精度代码翻译,减轻开发人员重复开发翻译规则的工作量.基于此代码翻译技术,设计并实现了一种通用的基于Datalog的声明式增量程序分析框架.在不同Datalog方言对上评估了所提出的LLM赋能的Datalog代码翻译技术的性能,评估结果验证了所提代码翻译技术的有效性.对通用声明式增量程序分析框架进行了实验评估,验证了基于所提代码翻译技术的增量程序分析的加速效果. 展开更多
关键词 datalog 代码翻译 大语言模型 程序分析 增量分析框架
在线阅读 下载PDF
Datalog逻辑程序调用语义及其应用研究 被引量:1
2
作者 钟勇 郭伟刚 +2 位作者 钟昌乐 刘凤玉 李宁 《计算机科学》 CSCD 北大核心 2010年第1期170-175,共6页
提出Datalog逻辑程序调用语义和调用谓词,说明包含程序调用谓词的可更新U-Datalog程序的操作语义及其固定点语义。提出在有限分层调用情况下U-Datalog程序的通用评价(evaluation)算法。最后对Datalog程序调用语义在数字版权语言中的应... 提出Datalog逻辑程序调用语义和调用谓词,说明包含程序调用谓词的可更新U-Datalog程序的操作语义及其固定点语义。提出在有限分层调用情况下U-Datalog程序的通用评价(evaluation)算法。最后对Datalog程序调用语义在数字版权语言中的应用做了说明并给出示例。 展开更多
关键词 datalog语言 逻辑程序 程序调用 数字版权保护
在线阅读 下载PDF
LFIO:基于输入输出的Datalog归纳学习系统
3
作者 王旭 王以松 黄羿 《贵州大学学报(自然科学版)》 2017年第1期57-61,71,共6页
归纳学习是一种重要的知识发现手段。本文介绍一种新型的基于Datalog程序的归纳学习系统LFIO,在此归纳学习系统中,对于给定的背景知识B和例子集E,其中每个例子都是一对输入输出的(I,O)原子集对子,其中I表示输入,O表示对应的输出,LFIO归... 归纳学习是一种重要的知识发现手段。本文介绍一种新型的基于Datalog程序的归纳学习系统LFIO,在此归纳学习系统中,对于给定的背景知识B和例子集E,其中每个例子都是一对输入输出的(I,O)原子集对子,其中I表示输入,O表示对应的输出,LFIO归纳学习出一个Datalog程序P,对于E中的每个例子(I,O),O都是B∪P∪I的最小(Herbrand)模型。本文详细描述了LFIO的系统设计及实现,初步的实验结果展示了该归纳学习系统的有效性。 展开更多
关键词 归纳学习 datalog programS LFIO 输入输出
在线阅读 下载PDF
线性递归DataLog程序优化算法 被引量:3
4
作者 王家华 曹路 +1 位作者 金祥意 姚天顺 《控制与决策》 EI CSCD 北大核心 2000年第1期59-62,共4页
提出了线性齐次DataLog 逻辑程序的概念,并为该类程序设计了一个优化的求解算法。在此基础上提出了求解一般线性DataLog 程序的优化算法。该算法利用带有约束条件的递归调用方法,将线性DataLog 程序求解问题变... 提出了线性齐次DataLog 逻辑程序的概念,并为该类程序设计了一个优化的求解算法。在此基础上提出了求解一般线性DataLog 程序的优化算法。该算法利用带有约束条件的递归调用方法,将线性DataLog 程序求解问题变换成齐次程序求解问题。算法简单,易于实现,可应用于任何线性Data-Log 展开更多
关键词 逻辑程序 datalog程序 程序设计 优化算法
在线阅读 下载PDF
DATALOG程序的组及其应用 被引量:1
5
作者 王云明 施伯乐 《软件学报》 EI CSCD 北大核心 1997年第9期641-646,共6页
为了提高DATALOG程序自底向上计值的效率,本文提出了把DATALOG规则分成若干个组,对这些组可以给出一个拓扑序列,而对同一个组内的各个规则可以给出一个激发序列,以此来有效地控制DATALOG程序自底向上计值时对规则的调度,从而提高... 为了提高DATALOG程序自底向上计值的效率,本文提出了把DATALOG规则分成若干个组,对这些组可以给出一个拓扑序列,而对同一个组内的各个规则可以给出一个激发序列,以此来有效地控制DATALOG程序自底向上计值时对规则的调度,从而提高计算效率.这一技术可以应用于传统的各种自底向上计算方法,本文绘出了半朴质(Semi-Naove)算法和良基模型(Well-Founded)的交替不动点算法(AlternatingFixPoint)的改进.改进后的算法比原算法在时间和空间效率上都有较大的提高. 展开更多
关键词 datalog程序 拓扑序列 激发序列
在线阅读 下载PDF
Datalog程序的正规变换及其实现
6
作者 王云明 孙永玉 施伯乐 《计算机研究与发展》 EI CSCD 北大核心 1998年第6期481-485,共5页
文中提出了Datalog程序的正规变换,并构造了Datalog程序的约束模型图,从而把正规变换的求解转化为对约束模式图的搜索.约束模式图搜索算法与经典的AO*搜索算法及相关文献中的算法相比具有更高的效率.
关键词 datalog程序 程序变换 正规变换
在线阅读 下载PDF
Datalog 线性递归程序的自动编译
7
作者 何云 鲁汉榕 《武汉交通科技大学学报》 1998年第6期638-641,共4页
基于VPC-扩展图模式,给出了Datalog线性递归程序编译式的自动生成算法.研究表明,该算法能有效导出所有复杂类型Datalog线性递归程序的编译式.
关键词 演绎数据库 编译技巧 图模式 datalog程序
在线阅读 下载PDF
基于单逻辑程序的一致性规划任务有限域表示方法 被引量:1
8
作者 李伟生 刘森森 《计算机应用研究》 CSCD 北大核心 2014年第2期404-407,共4页
有限域表示(FDR)能有效地压缩状态空间,其转换算法在实例化阶段对每个初始状态都生成一个逻辑程序,而一致性规划任务的初始状态数量通常较大,所以这通常需要较大的时间和空间开销,甚至导致内存溢出。为了提高转换算法运行效率使其能处... 有限域表示(FDR)能有效地压缩状态空间,其转换算法在实例化阶段对每个初始状态都生成一个逻辑程序,而一致性规划任务的初始状态数量通常较大,所以这通常需要较大的时间和空间开销,甚至导致内存溢出。为了提高转换算法运行效率使其能处理更为复杂的规划问题,提出了一种基于单逻辑程序的IFDR转换算法。IFDR算法从初始信念状态中所有可能的初始世界状态得到一个事实集,再由动作和公理计算得到一个规则集。一个事实集和一个规则集组成一个逻辑程序,IFDR用此单逻辑程序完成实例化。实验结果表明IFDR算法在解决问题的效率和数量上都有所提高。 展开更多
关键词 一致性规划 有限域表示 数据记录搜索算法 逻辑程序 PPDDL 信念状态
在线阅读 下载PDF
A Reasoning Mechanism for DeductiveObject-Oriented Databases
9
作者 张成洪 胡运发 施伯乐 《Journal of Computer Science & Technology》 SCIE EI CSCD 1997年第4期337-345,共9页
Based on the approach implementing a deductive object-oriented database system through the underlying relational database, this paper presents an object reasoning language O-Datalog, which is the extension of Datalog ... Based on the approach implementing a deductive object-oriented database system through the underlying relational database, this paper presents an object reasoning language O-Datalog, which is the extension of Datalog in form and can deal with object-oriented data. For any O-Datalog program, an equivalent Datalog program can be built to help evaluate the original program. This paper focuses on the syntax, semantics and evaluation of O-Datalog. 展开更多
关键词 DBMS OBJECT-ORIENTED logic programming datalog.
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部