Prolog Assignment for Programming Languages (T4-2013/1)