17/03/04 19:21:56.52 S34ljy53.net
>>1
次の次世代の本命はProlog
それ以外はなくなる
7:デフォルトの名無しさん
17/03/04 21:07:48.36 gyQpa9Hb.net
>>6
>それ以外はなくなる
知識プログラミングの時代は来るだろうがさすがにこれは言い過ぎ
8:デフォルトの名無しさん
17/03/04 21:13:28.87 wuF6ZyHX.net
>>1
乙
個人的には、それらと異なるパラダイムのCoqかAgdaをスレタイに入れてほしかったが。
9:デフォルトの名無しさん
17/03/04 21:18:09.53 a1Qd0ocB.net
Prologのネガキャンお疲れ様です
10:デフォルトの名無しさん
17/03/04 23:17:47.90 N8WZp5To.net
>>8
AgdaやCoqはプログラム言語としても浮上できそうなのかな
11:デフォルトの名無しさん
17/03/04 23:52:16.78 +9qG5EdN.net
kotlin はほんとの「java script」 って感じやね。
12:デフォルトの名無しさん
17/03/05 05:17:38.13 rlVSvpqM.net
>>11
Groovyがそうだったけど
Kotlinは堅めだと思う
13:6
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の方が表現力が上だって勝手に思ってるけど、どうなんだろう。
マウンティングうるさい人がいるので、そうだと思わないで欲しい。素直な疑問。