File "lib/amalgame/correspondence.pl"[download]
in pack: | amalgame |
---|---|
Prolog module: | ag_correspondence |
size: | 2987 |
Recent changes
4 years, 6 months ago | Jacco van Ossenbruggen | REFACTORING: map.pl into correspondence.pl and ... |
This file requires
- From the Prolog library
- library(lists) resolved by
- lists.pl: append/3
- library(lists) resolved by
Exported predicates
- correspondence_element/3
- correspondence_evidence/2
- correspondence_source/2
- correspondence_target/2
- merge_provenance/2
- same_source/4
- same_target/4
- sort_correspondences/3
Required predicates
- append/3 from library(lists)