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

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

2020-07-06から1日間の記事一覧

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

目標 プログラミング言語Prolog拡張した「フラクタル代数言語 Fractal」を定義することをこのブログの目標の1つとしています。 背景 現在、サーバー上で無限の時間にわたって動作するプログラムと連携して、入出力を行うクライアントがあるというシステムが…