A prolog text only implementation of 2048. As an exercite for classes of theory of computation.