会员服务
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
下载
关闭预览

相关内容

机器学习组合优化
机器学习组合优化
专知会员服务
110+阅读 · 2021年2月16日
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
专知会员服务
50+阅读 · 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
专知会员服务
36+阅读 · 2019年10月17日
强化学习最新教程，17页pdf
强化学习最新教程，17页pdf
专知会员服务
182+阅读 · 2019年10月11日
机器学习入门的经验与建议
机器学习入门的经验与建议
专知会员服务
94+阅读 · 2019年10月10日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
18+阅读 · 2018年12月24日
机器学习线性代数速查
机器学习线性代数速查
机器学习研究会
19+阅读 · 2018年2月25日
carla 学习笔记
carla 学习笔记
CreateAMind
9+阅读 · 2018年2月7日
【论文】变分推断（Variational inference)的总结
【论文】变分推断（Variational inference)的总结
机器学习研究会
39+阅读 · 2017年11月16日
【学习】Hierarchical Softmax
【学习】Hierarchical Softmax
机器学习研究会
4+阅读 · 2017年8月6日
Γ-convergence of Onsager-Machlup functionals. Part I: With applications to maximum a posteriori estimation in Bayesian inverse problems
Arxiv
0+阅读 · 2021年8月11日
The mysteries of the best approximation and Chebyshev expansion for the function with logarithmic regularities
Arxiv
0+阅读 · 2021年8月9日
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日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
binary
CASES
CASE
近似
编程语言
相关VIP内容
机器学习组合优化
机器学习组合优化
专知会员服务
110+阅读 · 2021年2月16日
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
专知会员服务
50+阅读 · 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
专知会员服务
36+阅读 · 2019年10月17日
强化学习最新教程，17页pdf
强化学习最新教程，17页pdf
专知会员服务
182+阅读 · 2019年10月11日
机器学习入门的经验与建议
机器学习入门的经验与建议
专知会员服务
94+阅读 · 2019年10月10日
热门VIP内容
相关资讯
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
18+阅读 · 2018年12月24日
机器学习线性代数速查
机器学习线性代数速查
机器学习研究会
19+阅读 · 2018年2月25日
carla 学习笔记
carla 学习笔记
CreateAMind
9+阅读 · 2018年2月7日
【论文】变分推断（Variational inference)的总结
【论文】变分推断（Variational inference)的总结
机器学习研究会
39+阅读 · 2017年11月16日
【学习】Hierarchical Softmax
【学习】Hierarchical Softmax
机器学习研究会
4+阅读 · 2017年8月6日
相关论文
Γ-convergence of Onsager-Machlup functionals. Part I: With applications to maximum a posteriori estimation in Bayesian inverse problems
Arxiv
0+阅读 · 2021年8月11日
The mysteries of the best approximation and Chebyshev expansion for the function with logarithmic regularities
Arxiv
0+阅读 · 2021年8月9日
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日
Top
微信扫码咨询专知VIP会员
Top