File "lib/amalgame/correspondence.pl"[download]

in pack:	amalgame
Prolog module:	ag_correspondence
size:	2987

Recent changes

7 years 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

This file is used by

• correspondence.pl from package amalgame
• exec_amalgame_process.pl from package amalgame
• ag_overlap.pl from package amalgame
• arity_select.pl from package amalgame
• best_numeric.pl from package amalgame
• label_selecter.pl from package amalgame
• map_merger.pl from package amalgame
• most_generic.pl from package amalgame
• most_labels.pl from package amalgame
• most_methods.pl from package amalgame
• sibling_selecter.pl from package amalgame
• structure_selecter.pl from package amalgame
• ag_stats.pl from package amalgame
• expand_graph.pl from package amalgame

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)