システムアーキテクト 2024年 春期 問9

論理型プログラミングにおいて、命題の証明を行うための基本的な機能はどれか。