論理プログラミングろんりプログラミングronripuroguramingunounlogic programmingKanji in this word理logic論argumentStudy it in Yanamino