エレファント・コンピューティング調査報告

極限に関する順序を論理プログラミングの手法を使って指定することを目指すブロクです。

2020-08-23から1日間の記事一覧

フラクタル代数言語 Fractal (2)

フラクタル代数言語 Fractal の構文 フラクタル代数言語 Fractal の構文は Prolog と同様(サブセット)とします。以下 Wikipedia の Prolog の項から必要な部分を引用します。 項 Prolog のデータを項と呼びます。項は定数、変数、複合項のいずれかとなります…