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

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

2020-12-17から1日間の記事一覧

中間報告(4)

このブログは、論理プログラミングに実行順序を指定する機能を追加してサーバーで動作するような無限に動作するプログラムを記述することを一つの目標としています。無限の実行順序を指定するには、個別に指定することはできないので、何かのパターンで指定…