实体
SWI-Prolog
SWI-Prolog
PulseAugur coverage of SWI-Prolog — every cluster mentioning SWI-Prolog across labs, papers, and developer communities, ranked by signal.
总计 · 30天
2
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
2
90 天内 2
层级分布 · 90 天
主题
情绪 · 30 天
1 天有情绪数据
最近 · 第 1/1 页 · 共 2 条
-
WAMpy框架加速Python中Prolog程序合成
研究人员开发了WAMpy，一个专为高效合成Prolog程序设计的Python框架。该系统特别适用于涉及重复生成和评估小型候选程序的任务。WAMpy通过将Prolog子句编译为基于NumPy数组的WAM指令，并利用Numba对性能关键例程进行即时编译，从而实现性能提升。基准测试表明，对于涉及重复编译和评估的工作负载，WAMpy通过Janus从Python访问时，其性能优于SWI-Prolog。
-
面向TCSP的新型双域二值化弧一致性算法被引入
本文介绍了一种名为bdAC-3的新算法，旨在实现时间约束满足问题（TCSP）的双域弧一致性（bdArc-Consistency）。该算法是对Mackworth的AC-3算法的改编，旨在通过确保弧一致性来最小化TCSP的双域。研究包括对bdAC-3的计算分析，证明了其在某些任务上的多项式时间复杂度及其在解搜索算法过滤过程中的有效性。论文还展示了bdAC-3与ACSTP等现有算法的实验比较，并讨论了其在基于TCSP的作业车间调度中的应用。