Interpreter of lazy-evaluated dynamically-typed functional language written in Prolog. Project for Programming course @ IIUWr