This project contains swi-prolog predicates to process functions, relations and binary operations. The binary operations can be converted to ugraphs by identifying pairs of operands that yield the same values under the given binary operation. The resulting ugraphs can be converted to graphviz files for easy visualization.
See the Repository Guidelines in AGENTS.md for project structure, coding style, testing, and PR expectations: AGENTS.md.