あれ2025/4/3 15:17:00 Prolog MCP、作りっぱなしになってる。 純粋に記号の演算だと、大規模な知識を自動で扱うのは難しそうな気がしていて（同音異義語が難しそう）、別な仕組みが欲しい。 LLMが全部面倒見てくれて、記号が意図しない衝突した時にいい感じにメンテしてくれるなら、ワンチャンあるかも。