| Did you know ... | Search Documentation: |
 | Pack reif_utils -- README.md |
- HOME
- DOWNLOAD
- DOCUMENTATION
- TUTORIALS
- Beginner▶
- Advanced▶
- Web applications▶
- Semantic web▶
- Graphics▶
- Machine learning▶
- External collections▶
- For packagers▶
- COMMUNITY
- COMMERCIAL
- WIKI
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
clpfdlibrary 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.