A Prolog library that generates and verifies graceful labelings for trees.