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

in pack:	amalgame
Prolog module:	ag_correspondence
size:	2987

Recent changes

4 years, 1 month 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

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)