💎自虐がすぎるProlog言語黙示録風のwikipedia日本語版記事 tronとともに静かに眠れよ 論理言語のディアスポラ 宣言式のあれ