brownbuffalo.sourceforge.net LEARNING CONSTRAINT LOGIC PROGRAMMING - FINITE DOMAINS With Logic Puzzles