combinatoricscontrolblogcolorlinuxnotelogicprolog