Bot Trust solutions

Bot Trust was solved using Prolog by 1 contestant.