Vocabulary

論理プログラミング

logic programming

noun