Finished first Prolog Solution