Package "reif_utils"

Title:	A collection of reified predicates for use with reif.pl
Rating:	Not rated. Create the first rating!
Latest version:	1.0.0
SHA1 sum:	0db62377a79f3f04f96abbcf2188fb9d4d937503
Author:	Michael D. Misamore <m.misamore@gmail.com>
Home page:	https://github.com/mmisamore/reif_utils
Download URL:	https://github.com/mmisamore/reif_utils/archive/1.0.0.zip
Requires:	clpfd

Reviews

No reviews. Create the first review!.

Details by download location

Version	SHA1	#Downloads	URL
1.0.0	0db62377a79f3f04f96abbcf2188fb9d4d937503	20	https://github.com/mmisamore/reif_utils/archive/1.0.0.zip

Description

This module collects a variety of utility predicates intended for use with Ulrich Neumerkel's reif.pl library. Please see the paper by Neumerkel and Kral for background. It is intended for use with SWI Prolog; please see LICENSE for terms of use.

The implementations provided here fall into the following groups:

• Pure, reified integer comparison predicates (leveraging Markus Triska's excellent clpfd library for SWI Prolog)
• Impure, reified term equivalence and term-ordering predicates
• Pure, reified term-ordering predicates The real value provided here is in the tests: every provided predicate is implemented and tested in all possible computable modes, with the goal of eliminating all unnecessary choice points.

Contents of pack "reif_utils"

Pack contains 6 files holding a total of 51.6K bytes.