どうも仕事の関係上、一階述語論理やら自由文脈文法やらの単語が飛び出してくるので、これを機会にPrologで遊んでみようかと思います。FreeBSDのPortsから、SWI-Prolog（lang/swi-pl）をインストール。を参考にクイックソートを動かしてみる。 qsort([], R, …