../../Task/Damm-algorithm/Prolog