システムアーキテクト 2014年 秋期 問11

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