17/03/05 05:46:42.24 BRHv0ACr.net
>>7
知識プログラミング
ICOTも後半この言葉を使ったのだが曖昧なんですね
14:デフォルトの名無しさん
17/03/05 09:15:29.11 CRVYE2F+.net
>>13
Prologって一階の述語論理以上を扱えるの？
自分はProlog触ったこと無いから、CoqやAgdaの方が表現力が上だって勝手に思ってるけど、どうなんだろう。
マウンティングうるさい人がいるので、そうだと思わないで欲しい。素直な疑問。
17/03/05 05:46:42.24 BRHv0ACr.net
>>7
知識プログラミング
ICOTも後半この言葉を使ったのだが曖昧なんですね
14:デフォルトの名無しさん
17/03/05 09:15:29.11 CRVYE2F+.net
>>13
Prologって一階の述語論理以上を扱えるの？
自分はProlog触ったこと無いから、CoqやAgdaの方が表現力が上だって勝手に思ってるけど、どうなんだろう。
マウンティングうるさい人がいるので、そうだと思わないで欲しい。素直な疑問。