Matching of Bounded Set Terms in the Logic Language LDL++