prolog的perm怎么实现？

prolog的perm是个内建谓词，如果不用这个，自己用其他基础功能实现的话怎么做？

找到了 http://www.csupomona.edu/~jrfisher/www/prolog_tutorial/2_7.html

另一个 http://pwnetics.wordpress.com/2011/10/15/naive-sort-in-prolog/