combinatoricscontrolblogcolorlinuxlogicprolog