归纳逻辑程序设计

归纳逻辑程序设计

拼音： guī nà luó ji chéng xù shè jì
日本語訳 帰納的論理プログラミング、帰納的理論プログラミング