Did you know ... Search Documentation:
Pack reif_utils -- README.md


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.