../../Task/Partition-function-P/Prolog