Prologで関手（圏論とは無関係！）とか関数子と言っているものと同じデータ構造を持つようだ。 基本、関数型言語らしいが、Prologフレーバーな構文。 パターン表現があって、引数渡しはパターンマッチング。これには異質な構文を使う、はじめて見た構文。 リ…