不透明な述語

コンピュータプログラミングにおいて、不透明述語とは述語であり、評価結果が「真」か「偽」かを示す式であり、その結果はプログラマーが事前に知っているが、さまざまな理由から実行時に評価する必要がある。^[1]不透明述語は、プログラムの実行ファイルで識別できるため、透かしとして使用されている。 ^{[2]また、過剰な}最適化プログラムがプログラムの一部を最適化してしまうのを防ぐためにも使用できる。別の用途としては、プログラムの制御やデータフローを難読化してリバースエンジニアリングを困難にすることが挙げられる。