LogicRec: Recommendation with Users' Logical Requirements