>450
少ない公理だけでやるんだったらProlog (HornCNF) で十分だと思う。
というかPrologがろくに検討されていないのはなぜ？
探検
集合論に基づいた言語を作りたい
■ このスレッドは過去ログ倉庫に格納されています
454デフォルトの名無しさん
2014/10/07(火) 21:41:15.48ID:9NXt3xp/■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 731部隊の新資料、中国が公開 「日本が細菌戦の罪を自白」と主張 ロシアが引き渡し [少考さん★]
- 【速報】「女芸人No.1決定戦 THE W」9代目女王にニッチェ！ ７年ぶり３度目で悲願の優勝 [牛丼★]
- 【芸能】『女芸人No.1決定戦THE W』 粗品が最後にバッサリ「優勝賞金1000万円にしてはレベル低い大会」 [冬月記者★]
- 「おこめ券は米以外の食品も買える。効果的な活用を」 地元で農水相 [山形県] [少考さん★]
- 中国・ロシア両軍の爆撃機が東京方面へ向かう「異例のルート」を共同飛行…核も搭載可能、連携して威嚇か ★8 [ぐれ★]
- 東京の自販機そばに金塊4200万円分、何者かに持ち去られる…札幌の５０代が8000万円振り込んだ後に上京して被害 [どどん★]
- 【高市政策】農水相の鈴木、今日も吠える！「米以外の食料品も購入できる！私自身は中立」などと語るも、デメリットには言及せず [219241683]
- 山上、ただの嫌韓厨のクソネトウヨだった。安倍は韓国と敵対してると思い込んで支持していた。でもビデオレターで自我が崩壊 [389326466]
- 【実況】博衣こよりのえちえちダンガンロンパ4🧪
- 【緊急高市朗報】WBC全試合、地上波完全生放送決定wmwmwmwmwmwmwmwmwmwmwmwmwmwmwmw [517459952]
- 千晴！😡
- 🏡パン🍞つー✌まる👌見え👊😅👊