/*----- Goal -----*/ print_solution :- telling(OldOutput), tell('output.txt'), /* Find the solution */ scotch_solution( Drinker1, Drink1, Server1, Drinker2, Drink2, Server2, Drinker3, Drink3, Server3, Drinker4, Drink4, Server4, Drinker5, Drink5, Server5), /* Write solution */ write('1: '), write(Drinker1), write(' was served a scotch & '), write(Drink1), write(' by '), write(Server1), write_ln('.'), write('2: '), write(Drinker2), write(' was served a scotch & '), write(Drink2), write(' by '), write(Server2), write_ln('.'), write('3: '), write(Drinker3), write(' was served a scotch & '), write(Drink3), write(' by '), write(Server3), write_ln('.'), write('4: '), write(Drinker4), write(' was served a scotch & '), write(Drink4), write(' by '), write(Server4), write_ln('.'), write('5: '), write(Drinker5), write(' was served a scotch & '), write(Drink5), write(' by '), write(Server5), write_ln('.'), told, tell(OldOutput). ?- print_solution, halt; halt. /* Run it */