chalk-recursive (cargo): Recursive solver for the Chalk project
Keywords: compiler|prolog|traits