プロロジックをそのまま実装したら特許に抵触するとかない?