Перевести решение задачи в prolog

[alexey9999]

Здравствуйте, помогите решить задачу с помощью Prolog:

В нарушении правил обмена валюты подозревают четырех сотрудников банка – (А), (B), (C), и (D).
Известно, что:
1) Если А нарушил правила обмена валюты то и В нарушил
2) Если В нарушил правила то и С Нарушил или В не нарушил
3) если D не нарушил то А нарушил а С не нарушил
4) Если D нарушил то и А нарушил
Из этих подозреваемых нарушил правила обмена валюты?

По логике получается, если предположить что D не нарушил. Тогда А нарушил, но С не нарушал(3). Тогда В нарушил(1). По 2 условию получается, что С нарушил или А не нарушал. А это противоречие с нашим выводом.
Значит, D нарушил. Тогда по 4 А нарушил. Далее по 1 нарушил В. А по 2 получается, так как А нарушил, должен нарушить и С. Т.е нарушили все. Но с прологом никогда не работал и не знаю как это перевести на него.