COMPUTING AND PROGRAMMING WITH LOGIC AND CREATIVITY (COMPILER 2015)