※上記の広告は60日以上更新のないWIKIに表示されています。更新することで広告が下部へ移動します。ここでは差分リストについて紹介します。差分リストは特殊な型ということではなく、リストとユニフィケーションの合わせ技です。試しに差分リスト無しで、特定の単語ごとに文章を区切るsplit述語を作成してみましょう。27第3アリティをバッファとして使って、コロンが来たら第4アリティの結果にatom型にして格納しています。この時、appendを用いています。差分リストを使用した方法では、このappendの処理を行わずに同じことができます。右側のTが[]になって初めて値が決定するとこです。因みにT-TはT+T,T/Tとかにしても問題なく動きます。プライバシーポリシー。