Быки и коровы. SWI-Prolog или Visual Prolog 7.1

Пользователь загадывает четыре цифры от нуля до девяти. Программа пытается отгадать эти цифры и последовательность, в которой они стоят. Для этого программа предлагает свой вариант последовательности цифр. Пользователь называет программе количество правильно угаданных цифр, стоящих на своем месте («быков»), и правильно угаданных цифр, стоящих не на своём месте («коров»). На основании ответа пользователя программа предлагает следующий вариант последовательности цифр. И так до тех пор, пока программой не будет отгаданы все цифры и их расположение.