会员服务
CASE · binary · 类别 · 编程语言 ·
2022 年 2 月 7 日
Implementing backjumping by throw/1 and catch/3 of Prolog
翻译：执行Prolog 扔1和Catch/3的回跳 Prolog
Włodzimierz Drabent
Włodzimierz Drabent
from arxiv, 10 pages. This version - extensions and corrections

We discuss how to implement backjumping (or intelligent backtracking) in Prolog programs by means of exception handling. This seems impossible in a general case. We provide two solutions. One works for binary programs; in a general case it imposes a restriction on where backjumping may originate. The other restricts a class of backjump targets. We also show how to simulate backjumping by means of backtracking and the Prolog database.


翻译：我们讨论如何通过例外处理方式在Prolog 方案中执行回跳(或智能回溯跟踪) 。 这在一般情况下似乎是不可能的。 我们提供两种解决方案。 一个为二进制程序工作, 一个为二进制程序工作, 一个对回跳的起源施加限制。 另一个限制回跳目标类别。 我们还展示如何通过回溯跟踪和Prolog 数据库模拟回跳。
0
下载
关闭预览

相关内容

【数据科学导论书】Introduction to Datascience，253页pdf
【数据科学导论书】Introduction to Datascience，253页pdf
专知会员服务
48+阅读 · 2021年11月15日
MIT经典《线性代数》，584页pdf，Introduction to Linear Algebra, Fifth Edition, Gilbert Strang, 2016.
MIT经典《线性代数》，584页pdf，Introduction to Linear Algebra, Fifth Edition, Gilbert Strang, 2016.
专知会员服务
423+阅读 · 2021年1月11日
Linux导论，Introduction to Linux，96页ppt
Linux导论，Introduction to Linux，96页ppt
专知会员服务
78+阅读 · 2020年7月26日
【新书：机器学习简介】《A Concise Introduction to Machine Learning》by A.C. Faul (CRC 2019)
【新书：机器学习简介】《A Concise Introduction to Machine Learning》by A.C. Faul (CRC 2019)
专知会员服务
75+阅读 · 2020年2月8日
【深度学习架构、模型和技巧集合(TensorFlow/PyTorch)】’Deep Learning Models - A collection of various deep learning architectures, models, and tips'
【深度学习架构、模型和技巧集合(TensorFlow/PyTorch)】’Deep Learning Models - A collection of various deep learning architectures, models, and tips'
专知会员服务
56+阅读 · 2020年1月25日
【深度学习表格检测、信息提取和结构化】《Table Detection, Information Extraction and Structuring using Deep Learning》by Vihar Kurama
专知会员服务
37+阅读 · 2020年1月23日
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
专知会员服务
47+阅读 · 2019年10月17日
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
专知会员服务
34+阅读 · 2019年10月17日
Keras François Chollet 《Deep Learning with Python 》, 386页pdf
Keras François Chollet 《Deep Learning with Python 》, 386页pdf
专知会员服务
152+阅读 · 2019年10月12日
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
专知会员服务
79+阅读 · 2019年10月10日
征稿 | CFP：Special Issue of NLP and KG(JCR Q2，IF2.67)
征稿 | CFP：Special Issue of NLP and KG(JCR Q2，IF2.67)
开放知识图谱
1+阅读 · 2022年4月4日
IEEE TII Call For Papers
IEEE TII Call For Papers
CCF多媒体专委会
3+阅读 · 2022年3月24日
AIART 2022 Call for Papers
AIART 2022 Call for Papers
CCF多媒体专委会
1+阅读 · 2022年2月13日
Call for Nominations: 2022 Multimedia Prize Paper Award
Call for Nominations: 2022 Multimedia Prize Paper Award
CCF多媒体专委会
0+阅读 · 2022年2月12日
恭贺新春！
恭贺新春！
阿里技术
0+阅读 · 2022年2月1日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium7
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium7
中国图象图形学学会CSIG
0+阅读 · 2021年11月15日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium6
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium6
中国图象图形学学会CSIG
2+阅读 · 2021年11月12日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium1
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium1
中国图象图形学学会CSIG
0+阅读 · 2021年11月3日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
17+阅读 · 2018年12月24日
disentangled-representation-papers
disentangled-representation-papers
CreateAMind
26+阅读 · 2018年9月12日
超磁致伸缩-压电复合传感器磁力电耦合非线性特性研究
国家自然科学基金
0+阅读 · 2013年12月31日
Partial Spread Bent函数与Bent-Negabent函数的构造及密码学性质研究
国家自然科学基金
0+阅读 · 2013年12月31日
BAFF干扰的树突状细胞参与自身免疫性关节炎免疫耐受的作用和机制
国家自然科学基金
0+阅读 · 2012年12月31日
相对同调理论与导出范畴
国家自然科学基金
1+阅读 · 2012年12月31日
旋毛虫副肌球蛋白H-2d限制性Th表位的鉴定及Th-B表位肽嵌合疫苗免疫学效应研究
国家自然科学基金
0+阅读 · 2012年12月31日
强不定和非紧的变分问题
国家自然科学基金
0+阅读 · 2011年12月31日
线性积分方程的Galerkin快速谱方法
国家自然科学基金
0+阅读 · 2009年12月31日
电子回旋共振放电电离特性的PIC/MCC模拟
国家自然科学基金
0+阅读 · 2009年12月31日
蛋白组学中LC-MS/MS数据的统计分析的新型算法研究
国家自然科学基金
0+阅读 · 2008年12月31日
G蛋白偶联受体信号调控分子在突触可塑性中的作用及机制
国家自然科学基金
0+阅读 · 2008年12月31日
Framework for $\exists \mathbb{R}$-Completeness of Two-Dimensional Packing Problems
Framework for $\exists \mathbb{R}$-Completeness of Two-Dimensional Packing Problems
Arxiv
0+阅读 · 2022年4月20日
Theoretical analysis of edit distance algorithms: an applied perspective
Arxiv
0+阅读 · 2022年4月20日
A Best Cost-Sharing Rule for Selfish Bin Packing
Arxiv
0+阅读 · 2022年4月20日
Identifying organizations receiving personal data in Android Apps
Arxiv
0+阅读 · 2022年4月19日
Subset selection for linear mixed models
Arxiv
1+阅读 · 2022年4月18日
Down-step statistics in generalized Dyck paths
Arxiv
0+阅读 · 2022年4月18日
Mixed Isogeometric Discretizations for Planar Linear Elasticity
Arxiv
0+阅读 · 2022年4月17日
Free gs-monoidal categories and free Markov categories
Arxiv
0+阅读 · 2022年4月17日
Subset Sum in $O(n^{16}\log(n))$
Arxiv
0+阅读 · 2022年4月15日
Cryptographic Strain-Dependent Light Pattern Generators
Arxiv
0+阅读 · 2022年4月15日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
CASE
binary
类别
编程语言
相关VIP内容
【数据科学导论书】Introduction to Datascience，253页pdf
【数据科学导论书】Introduction to Datascience，253页pdf
专知会员服务
48+阅读 · 2021年11月15日
MIT经典《线性代数》，584页pdf，Introduction to Linear Algebra, Fifth Edition, Gilbert Strang, 2016.
MIT经典《线性代数》，584页pdf，Introduction to Linear Algebra, Fifth Edition, Gilbert Strang, 2016.
专知会员服务
423+阅读 · 2021年1月11日
Linux导论，Introduction to Linux，96页ppt
Linux导论，Introduction to Linux，96页ppt
专知会员服务
78+阅读 · 2020年7月26日
【新书：机器学习简介】《A Concise Introduction to Machine Learning》by A.C. Faul (CRC 2019)
【新书：机器学习简介】《A Concise Introduction to Machine Learning》by A.C. Faul (CRC 2019)
专知会员服务
75+阅读 · 2020年2月8日
【深度学习架构、模型和技巧集合(TensorFlow/PyTorch)】’Deep Learning Models - A collection of various deep learning architectures, models, and tips'
【深度学习架构、模型和技巧集合(TensorFlow/PyTorch)】’Deep Learning Models - A collection of various deep learning architectures, models, and tips'
专知会员服务
56+阅读 · 2020年1月25日
【深度学习表格检测、信息提取和结构化】《Table Detection, Information Extraction and Structuring using Deep Learning》by Vihar Kurama
专知会员服务
37+阅读 · 2020年1月23日
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
专知会员服务
47+阅读 · 2019年10月17日
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
专知会员服务
34+阅读 · 2019年10月17日
Keras François Chollet 《Deep Learning with Python 》, 386页pdf
Keras François Chollet 《Deep Learning with Python 》, 386页pdf
专知会员服务
152+阅读 · 2019年10月12日
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
专知会员服务
79+阅读 · 2019年10月10日
热门VIP内容
相关资讯
征稿 | CFP：Special Issue of NLP and KG(JCR Q2，IF2.67)
征稿 | CFP：Special Issue of NLP and KG(JCR Q2，IF2.67)
开放知识图谱
1+阅读 · 2022年4月4日
IEEE TII Call For Papers
IEEE TII Call For Papers
CCF多媒体专委会
3+阅读 · 2022年3月24日
AIART 2022 Call for Papers
AIART 2022 Call for Papers
CCF多媒体专委会
1+阅读 · 2022年2月13日
Call for Nominations: 2022 Multimedia Prize Paper Award
Call for Nominations: 2022 Multimedia Prize Paper Award
CCF多媒体专委会
0+阅读 · 2022年2月12日
恭贺新春！
恭贺新春！
阿里技术
0+阅读 · 2022年2月1日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium7
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium7
中国图象图形学学会CSIG
0+阅读 · 2021年11月15日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium6
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium6
中国图象图形学学会CSIG
2+阅读 · 2021年11月12日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium1
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium1
中国图象图形学学会CSIG
0+阅读 · 2021年11月3日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
17+阅读 · 2018年12月24日
disentangled-representation-papers
disentangled-representation-papers
CreateAMind
26+阅读 · 2018年9月12日
相关论文
Framework for $\exists \mathbb{R}$-Completeness of Two-Dimensional Packing Problems
Framework for $\exists \mathbb{R}$-Completeness of Two-Dimensional Packing Problems
Arxiv
0+阅读 · 2022年4月20日
Theoretical analysis of edit distance algorithms: an applied perspective
Arxiv
0+阅读 · 2022年4月20日
A Best Cost-Sharing Rule for Selfish Bin Packing
Arxiv
0+阅读 · 2022年4月20日
Identifying organizations receiving personal data in Android Apps
Arxiv
0+阅读 · 2022年4月19日
Subset selection for linear mixed models
Arxiv
1+阅读 · 2022年4月18日
Down-step statistics in generalized Dyck paths
Arxiv
0+阅读 · 2022年4月18日
Mixed Isogeometric Discretizations for Planar Linear Elasticity
Arxiv
0+阅读 · 2022年4月17日
Free gs-monoidal categories and free Markov categories
Arxiv
0+阅读 · 2022年4月17日
Subset Sum in $O(n^{16}\log(n))$
Arxiv
0+阅读 · 2022年4月15日
Cryptographic Strain-Dependent Light Pattern Generators
Arxiv
0+阅读 · 2022年4月15日
相关基金
超磁致伸缩-压电复合传感器磁力电耦合非线性特性研究
国家自然科学基金
0+阅读 · 2013年12月31日
Partial Spread Bent函数与Bent-Negabent函数的构造及密码学性质研究
国家自然科学基金
0+阅读 · 2013年12月31日
BAFF干扰的树突状细胞参与自身免疫性关节炎免疫耐受的作用和机制
国家自然科学基金
0+阅读 · 2012年12月31日
相对同调理论与导出范畴
国家自然科学基金
1+阅读 · 2012年12月31日
旋毛虫副肌球蛋白H-2d限制性Th表位的鉴定及Th-B表位肽嵌合疫苗免疫学效应研究
国家自然科学基金
0+阅读 · 2012年12月31日
强不定和非紧的变分问题
国家自然科学基金
0+阅读 · 2011年12月31日
线性积分方程的Galerkin快速谱方法
国家自然科学基金
0+阅读 · 2009年12月31日
电子回旋共振放电电离特性的PIC/MCC模拟
国家自然科学基金
0+阅读 · 2009年12月31日
蛋白组学中LC-MS/MS数据的统计分析的新型算法研究
国家自然科学基金
0+阅读 · 2008年12月31日
G蛋白偶联受体信号调控分子在突触可塑性中的作用及机制
国家自然科学基金
0+阅读 · 2008年12月31日
Top
微信扫码咨询专知VIP会员
Top