リアルに法曹界で活躍するかもしれないAIちゃん：PROLEGちゃん！　民法だと「こういうことあるから、こういう権利あるよ」てなことあって、「こういうこと」について誰が証明するとか、すんごく複雑なルールあるから、論理プログラミング使って推論の手助けするよなAIちゃん！ https://t.co/RzdIADJkUg