論理型言語ろんりがたげんごronrigatagengonounlogic programming languageKanji in this word型mould理logic言say語word論argumentStudy it in Yanamino