ロジックプログラミング

logic programming; logic programing