A Visual Logic Programming Language Based on Sets and Partitioning Constraints