Text this: Further programming in Prolog :