prolothar_pattern_mining
