Logic Programming with Graph Automorphism: Integrating naut with Prolog (Tool Description)

Michael Frank, Michael Codish

This paper presents the plnauty~library, a Prolog interface to the nauty graph-automorphism tool. Adding the capabilities of nauty to Prolog combines the strength of the "generate…