以下は、私の「初心者のためプログラミング言語ガイド」での書き込みで、
http://pc11.2ch.net/test/read.cgi/tech/1215717670/581
レスは
http://pc11.2ch.net/test/read.cgi/tech/1215717670/582
だけだった。このスレは手続き型言語支持者が仕切ってるからと
いうこともあるが、データ構造云々自体近頃は流行らないらしい。
ところでレスの方だが、Prologで再帰的に定義する場合、このような
どう処理されるかというようなことは考えない。仮に二引数の述語だと
第一引数と第二引数の関係はこうだ、とか、第一引数と第二引数は
これで等価だ、とか判断できればおわりという感じ。
やはり、論理プログラミングそのものという印象が強い。
どんなご利益があるかといえば、「頭が疲れない」。