A little prolog toolbox, enhancing step by step.