prologのリストのリテラル表記。 [this, is, a, list]. リストはLISPと同じようなセルになっている。 [Car | Cdr] これはyes。LISPのリストとまったく一緒。 | ?- [a | [b | [c | []]]] = [a, b, c]. take appendは昨日やったので、takeなどを定義してみた。…