首页> 外文会议>ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems >Modular acyclicity and tail recursion in logic programs

【24h】

Modular acyclicity and tail recursion in logic programs

机译：逻辑程序中的模块化非循环性和尾递归

获取原文

页面导航

著录项
相似文献
相关主题

著录项

来源
《ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems》|1991年|P.92-101|共10页
会议地点
作者
Kenneth A. Ross;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类计算技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. Tail Recursion Transformation in Functional Dataflow Parallel Programs [J] . A. I. Legalov, O. V. Nepomnyaschy, I. V. Matkovsky, Automatic Control and Computer Sciences . 2013,第7期

机译：功能数据流并行程序中的尾递归转换
2. How Learning Logic Programming Affects Recursion Comprehension [J] . Bruria Haberman Computer Science Education . 2004,第1期

机译：学习逻辑编程如何影响递归理解
3. Speeding up parameter and rule learning for acyclic probabilistic logic programs [J] . de Faria Francisco H. O. Vieira, Gusmao Arthur Colombini, De Bona Glauber, Acoustic bulletin . 2019,第MARa期

机译：加快非循环概率逻辑程序的参数和规则学习
4. Dynamic Logic Programming: Various Semantics Are Equal on Acyclic Programs [C] . M. Homola International Workshop on Computational Logic in Multi-Agent Systems . 2005

机译：动态逻辑编程：在非循环计划上各种语义相等
5. Programmable LiM: A Modular and Reconfigurable Approach to the Logic in Memory [D] . Casale, Umberto. 2021

机译：可编程LIM：在内存中的逻辑模块化和可重新配置方法
6. A Logic-Gated Modular Nanovesicle Enables Programmable Drug Release for On-Demand Chemotherapy [O] . Longguang Tang, Zhen Yang, Zijian Zhou, 2019

机译：逻辑门控模块化纳米囊泡可实现按需化疗的可编程药物释放
7. SLDR-resolution: Parallelizing structural recursion in logic programs [O] . Millroth Håkan 1995

机译：SLDR分辨率：并行化逻辑程序中的结构递归
8. Modular Termination Proofs for Logic and Pure Prolog Programs [R] . Apt, K. R., Pedreschi, D. 1993

机译：用于逻辑和纯prolog程序的模块化终止证明

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号