Added prolog cheat sheet