Applying the Koch method to Prolog [video] · HackerTrans