>>131
Prologでは実際にこんな述語を呼び出して検索や置換を行うものですか?