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