>>701
手続き的な例ですが、こんなのもあります。
http://nojiriko.asia/prolog/j72_815.html