Solve a problem in Prolog

Related categories: Prolog