首页> 外文期刊>Science of Computer Programming >Boolean constraints in SWI-Prolog: A comprehensive system description
【24h】

Boolean constraints in SWI-Prolog: A comprehensive system description

机译:SWI-Prolog中的布尔约束:全面的系统描述

获取原文
获取原文并翻译 | 示例

摘要

We present a new constraint solver over Boolean variables, freely available as library(clpb)(1) in SWI-Prolog. In this paper, we explain the core algorithms and implementation trade-offs of our system. Our solver distinguishes itself from other available CLP(13) solvers by several unique features: First, it is written entirely in Prolog and is hence portable to other systems that provide a few interface predicates that we outline. Second, our system provides new interface predicates, and we show that they allow us to solve new types of problems with CLP(B) constraints. Finally, we present performance results and comparisons with the native CLP(B) solver of SICStus Prolog, and also with a new SICStus port of our system. Despite being written entirely in Prolog, both versions of our system can solve several benchmark instances that the native CLP(B) solver of SICStus Prolog cannot solve. (C) 2018 Elsevier B.V. All rights reserved.
机译:我们为布尔变量提供了一个新的约束求解器,可以在SWI-Prolog中免费获得library(clpb)(1)。在本文中,我们解释了系统的核心算法和实现折衷。我们的求解器通过以下几个独特的功能与其他可用的CLP(13)求解器区分开:首先,它完全用Prolog编写,因此可移植到其他提供一些我们要概述的接口谓词的系统中。其次,我们的系统提供了新的接口谓词,我们证明了它们使我们能够解决具有CLP(B)约束的新型问题。最后,我们介绍性能结果并与SICStus Prolog的本地CLP(B)求解器进行比较,并与系统的新SICStus端口进行比较。尽管完全用Prolog编写,我们的系统的两个版本都可以解决SICStus Prolog的本机CLP(B)求解器无法解决的几个基准实例。 (C)2018 Elsevier B.V.保留所有权利。

著录项

  • 来源
    《Science of Computer Programming》 |2018年第15期|98-115|共18页
  • 作者

    Triska Markus;

  • 作者单位
  • 收录信息 美国《科学引文索引》(SCI);美国《工程索引》(EI);
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类
  • 关键词

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号