Solving L-99, which are based on Prolog problems written by werner hett