ちょっと判り難いが、文字列の全置換/4は再帰的な述語である.
/4