Extending the Finite Domain Solver of GNU Prolog

Vincent Bloemen, Daniel Diaz, Machiel van der Bijl, Salvador Abreu

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    30 Downloads (Pure)

    Abstract

    This paper describes three significant extensions for the Finite Domain solver of GNU Prolog. First, the solver now supports negative integers. Second, the solver detects and prevents integer overflows from occurring. Third, the internal representation of sparse domains has been redesigned to overcome its current limitations. The preliminary performance evaluation shows a limited slowdown factor with respect to the initial solver. This factor is widely counterbalanced by the new possibilities and the robustness of the solver. Furthermore these results are preliminary and we propose some directions to limit this overhead.
    Original languageEnglish
    Title of host publicationProceedings of the International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-based Methods in Programming Environments 2014
    EditorsThomas Ströder, Terrance Swift
    Place of PublicationAachen
    PublisherRWTH Aachen
    Pages47-62
    Number of pages16
    Publication statusPublished - Jul 2014
    EventInternational Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-based Methods in Programming Environments 2014 - Vienna, Austria
    Duration: 17 Jul 201418 Jul 2014

    Publication series

    NameAachener Informatik-Berichte (AIB)
    PublisherRWTH Aachen
    Number2014-09
    ISSN (Print)0935-3232

    Workshop

    WorkshopInternational Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-based Methods in Programming Environments 2014
    Abbreviated titleCICLOPS-WLPE
    CountryAustria
    CityVienna
    Period17/07/1418/07/14

    Keywords

    • EWI-25798
    • CR-D.2.5
    • test data
    • METIS-309926
    • constraint solving
    • Model-Based Testing
    • IR-94675
    • test generation

    Cite this

    Bloemen, V., Diaz, D., van der Bijl, M., & Abreu, S. (2014). Extending the Finite Domain Solver of GNU Prolog. In T. Ströder, & T. Swift (Eds.), Proceedings of the International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-based Methods in Programming Environments 2014 (pp. 47-62). (Aachener Informatik-Berichte (AIB); No. 2014-09). Aachen: RWTH Aachen.