IF/Prologレファレンスマニュアルの使い方
述語の仕様
引数の役割説明表

Darueber read on...