Solves Prolog Problems 4 and 5