shellとemacsエディタの使い方を教えるついでだと思うけど
clpのライブラリが充実しているprologの方が、ずっと実用的に見える