>>790
論理型言語には何言語があるんですか?