論理プログラミング (ろんりプログラミング) — logic programming | Kumi Dictionary