Decompiling Language Models into Logic Programs. | AMiner