Перевод задачи с английского языка - Prolog

Формулировка задачи:

Прошу помощи при переводе задачи по прологу. Почему здесь? Смысл я понял, а при художественном переводе что-то "проложное" может пропасть. SumSum, a competitor of Appy, developed some nice smart phone technology called Galactica-S3, all of which was stolen by Stevey, who is a Boss. It is unethical for a Boss to steal business from rival companies. A competitor of Appy is a rival. Smart phone technology is a business. Using the prolog search engine, prove that Stevey is unethical.

Решение задачи: «Перевод задачи с английского языка»

textual
                            Листинг программы 
                        

                            competitor('SumSum', 'Appy').
developed('SumSum', Y):- smart_phone_technology(Y).
smart_phone_technology('Galactica-S3').
stolen('Stevey', 'SumSum', 'Galactica-S3').
 
boss('Stevey').
unethical(X):- boss(X), rival(Y), business(Z), stolen(X, Y, Z).
 
rival(X):- competitor(X, 'Appy').
 
business(X):- smart_phone_technology(X).
                        