会员服务
binary · CASES · CASE · 近似 · 编程语言 ·
2021 年 6 月 10 日
Implementing backjumping by throw/1 and catch/3 of Prolog
翻译：执行Prolog 扔1和Catch/3的回跳 Prolog
Włodzimierz Drabent
Włodzimierz Drabent
from arxiv, 7 pages. This version - an extension (Approach 1a)

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 a solution, which works in certain cases, in particular for binary programs. We also provide a kind of approximate solution, for arbitrary programs.


翻译：我们讨论如何通过例外处理在Prolog 方案中执行回跳(或智能回溯跟踪) 。 这在一般情况下似乎是不可能的。 我们提供了一种在某些情况下有效的解决方案, 特别是二进制方案。 我们还为任意方案提供了一种近似解决方案。
0
下载
关闭预览

相关内容

机器学习组合优化
机器学习组合优化
专知会员服务
109+阅读 · 2021年2月16日
2020数据工程师成长路线图
专知会员服务
17+阅读 · 2020年9月6日
Python图像处理，366页pdf，Image Operators Image Processing in Python
Python图像处理，366页pdf，Image Operators Image Processing in Python
专知会员服务
76+阅读 · 2020年7月23日
机器学习隐私综述论文，An Overview of Privacy in Machine Learning
机器学习隐私综述论文，An Overview of Privacy in Machine Learning
专知会员服务
80+阅读 · 2020年5月20日
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
专知会员服务
94+阅读 · 2020年3月12日
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日
强化学习最新教程，17页pdf
强化学习最新教程，17页pdf
专知会员服务
174+阅读 · 2019年10月11日
机器学习入门的经验与建议
机器学习入门的经验与建议
专知会员服务
92+阅读 · 2019年10月10日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
103+阅读 · 2019年10月9日
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的假设的探讨
Disentangled的假设的探讨
CreateAMind
9+阅读 · 2018年12月10日
vae 相关论文 表示学习 1
vae 相关论文 表示学习 1
CreateAMind
12+阅读 · 2018年9月6日
机器学习线性代数速查
机器学习线性代数速查
机器学习研究会
19+阅读 · 2018年2月25日
carla 学习笔记
carla 学习笔记
CreateAMind
9+阅读 · 2018年2月7日
【论文】变分推断（Variational inference)的总结
【论文】变分推断（Variational inference)的总结
机器学习研究会
39+阅读 · 2017年11月16日
【推荐】YOLO实时目标检测(6fps)
【推荐】YOLO实时目标检测(6fps)
机器学习研究会
20+阅读 · 2017年11月5日
【推荐】免费书(草稿)：数据科学的数学基础
【推荐】免费书(草稿)：数据科学的数学基础
机器学习研究会
20+阅读 · 2017年10月1日
【学习】Hierarchical Softmax
【学习】Hierarchical Softmax
机器学习研究会
4+阅读 · 2017年8月6日
Auto-Encoding GAN
Auto-Encoding GAN
CreateAMind
7+阅读 · 2017年8月4日
Γ-convergence of Onsager-Machlup functionals. Part I: With applications to maximum a posteriori estimation in Bayesian inverse problems
Arxiv
0+阅读 · 2021年8月11日
Explicit formulas for the inverses of Toeplitz matrices, with applications
Arxiv
0+阅读 · 2021年8月9日
The mysteries of the best approximation and Chebyshev expansion for the function with logarithmic regularities
Arxiv
0+阅读 · 2021年8月9日
BIGRoC: Boosting Image Generation via a Robust Classifier
Arxiv
0+阅读 · 2021年8月8日
Planning for an Efficient Implementation of Hypothetical Bousi~Prolog
Arxiv
0+阅读 · 2021年8月8日
Verifying Time Complexity of Binary Search using Dafny
Arxiv
0+阅读 · 2021年8月6日
Implicit and Explicit Proof Management in KeYmaera X
Arxiv
0+阅读 · 2021年8月6日
From Show to Tell: A Survey on Image Captioning
Arxiv
15+阅读 · 2021年7月14日
Differential Dynamic Programming Neural Optimizer
Arxiv
7+阅读 · 2020年6月29日
A Dual Approach to Scalable Verification of Deep Networks
A Dual Approach to Scalable Verification of Deep Networks
Arxiv
3+阅读 · 2018年8月3日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
binary
CASES
CASE
近似
编程语言
相关VIP内容
机器学习组合优化
机器学习组合优化
专知会员服务
109+阅读 · 2021年2月16日
2020数据工程师成长路线图
专知会员服务
17+阅读 · 2020年9月6日
Python图像处理，366页pdf，Image Operators Image Processing in Python
Python图像处理，366页pdf，Image Operators Image Processing in Python
专知会员服务
76+阅读 · 2020年7月23日
机器学习隐私综述论文，An Overview of Privacy in Machine Learning
机器学习隐私综述论文，An Overview of Privacy in Machine Learning
专知会员服务
80+阅读 · 2020年5月20日
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
专知会员服务
94+阅读 · 2020年3月12日
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日
强化学习最新教程，17页pdf
强化学习最新教程，17页pdf
专知会员服务
174+阅读 · 2019年10月11日
机器学习入门的经验与建议
机器学习入门的经验与建议
专知会员服务
92+阅读 · 2019年10月10日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
103+阅读 · 2019年10月9日
热门VIP内容
相关资讯
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的假设的探讨
Disentangled的假设的探讨
CreateAMind
9+阅读 · 2018年12月10日
vae 相关论文 表示学习 1
vae 相关论文 表示学习 1
CreateAMind
12+阅读 · 2018年9月6日
机器学习线性代数速查
机器学习线性代数速查
机器学习研究会
19+阅读 · 2018年2月25日
carla 学习笔记
carla 学习笔记
CreateAMind
9+阅读 · 2018年2月7日
【论文】变分推断（Variational inference)的总结
【论文】变分推断（Variational inference)的总结
机器学习研究会
39+阅读 · 2017年11月16日
【推荐】YOLO实时目标检测(6fps)
【推荐】YOLO实时目标检测(6fps)
机器学习研究会
20+阅读 · 2017年11月5日
【推荐】免费书(草稿)：数据科学的数学基础
【推荐】免费书(草稿)：数据科学的数学基础
机器学习研究会
20+阅读 · 2017年10月1日
【学习】Hierarchical Softmax
【学习】Hierarchical Softmax
机器学习研究会
4+阅读 · 2017年8月6日
Auto-Encoding GAN
Auto-Encoding GAN
CreateAMind
7+阅读 · 2017年8月4日
相关论文
Γ-convergence of Onsager-Machlup functionals. Part I: With applications to maximum a posteriori estimation in Bayesian inverse problems
Arxiv
0+阅读 · 2021年8月11日
Explicit formulas for the inverses of Toeplitz matrices, with applications
Arxiv
0+阅读 · 2021年8月9日
The mysteries of the best approximation and Chebyshev expansion for the function with logarithmic regularities
Arxiv
0+阅读 · 2021年8月9日
BIGRoC: Boosting Image Generation via a Robust Classifier
Arxiv
0+阅读 · 2021年8月8日
Planning for an Efficient Implementation of Hypothetical Bousi~Prolog
Arxiv
0+阅读 · 2021年8月8日
Verifying Time Complexity of Binary Search using Dafny
Arxiv
0+阅读 · 2021年8月6日
Implicit and Explicit Proof Management in KeYmaera X
Arxiv
0+阅读 · 2021年8月6日
From Show to Tell: A Survey on Image Captioning
Arxiv
15+阅读 · 2021年7月14日
Differential Dynamic Programming Neural Optimizer
Arxiv
7+阅读 · 2020年6月29日
A Dual Approach to Scalable Verification of Deep Networks
A Dual Approach to Scalable Verification of Deep Networks
Arxiv
3+阅读 · 2018年8月3日
Top
微信扫码咨询专知VIP会员
Top