通常のprologで矛盾検出するの無理そう

私の知ってるパズルで適当にググってみたらNP完全らしかった

ポケモンのルールの解説が人工知能の研究対象として大真面目に論文に載ってるのに笑った