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

in pack:amalgame
Prolog module:ag_component_correspondence
size:12540

Recent changes

2 years, 2 months agoJacco van OssenbruggenUpdate evidence_shape/2 to /3 to align to new ...
4 years, 1 month agoJacco van OssenbruggenFIXED: broken commit 7bcf02a186554f994fa291090 ...
4 years, 1 month agoJacco van OssenbruggenFix backtrack logic to find manual eval relati ...
7 years agoJacco van OssenbruggenFIXED: is_other_literal/3 was broken
7 years agoJacco van OssenbruggenIMPROVED: show all literals in detail view

This file requires

Exported predicates

Required predicates