File "lib/ag_modules/arity_select.pl"[download]
in pack: | amalgame |
---|---|
Prolog module: | arity_select |
size: | 2794 |
Recent changes
4 years, 6 months ago | Jacco van Ossenbruggen | FIXED: sort_align renaming |
4 years, 6 months ago | Jacco van Ossenbruggen | REFACTORING: map.pl into correspondence.pl and ... |
4 years, 8 months ago | Jacco van Ossenbruggen | FIXED: subtle sort bug, need to do the same in ... |
10 years ago | Jacco van Ossenbruggen | FIXED: typo in comment |
10 years ago | Jacco van Ossenbruggen | FIXED: ambiguity removal was buggy after recen ... |
This file requires
- From packages
- correspondence.pl: same_source/4, same_target/4, sort_correspondences/3
Required predicates
- append/3 autoloaded
- maplist/3 autoloaded
- option/2 autoloaded
- ord_intersection/3 autoloaded
- ord_union/3 autoloaded
- same_source/4 from correspondence.pl
- same_target/4 from correspondence.pl
- sort_correspondences/3 from correspondence.pl