File "lib/ag_modules/arity_select.pl"[download]
| in pack: | amalgame |
|---|---|
| Prolog module: | arity_select |
| size: | 2794 |
Recent changes
| 5 years ago | Jacco van Ossenbruggen | FIXED: sort_align renaming |
| 5 years ago | Jacco van Ossenbruggen | REFACTORING: map.pl into correspondence.pl and ... |
| 5 years ago | Jacco van Ossenbruggen | FIXED: subtle sort bug, need to do the same in ... |
| 11 years ago | Jacco van Ossenbruggen | FIXED: typo in comment |
| 11 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