A visual logic programming language based on sets and partitioning constraints | IEEE Conference Publication | IEEE Xplore