help help(+述語) help(+関数子, +アリティ)
この述語により、IF/Prologクイックレファレンスの中の説明が標準出力に表示されます。help/0は述語の使い方を簡単に説明します。help/1とhelp/2は指定した述語の説明を表示します。「述語」と「関数子」には、match/2で使用できるすべてのワイルドカード ('*','?','[集合]') を使うことができます。
?- help('cons*').
consult(+FileName) add clause from file(s) to database
yes ?-