パルログ

Parlogは、並列コンピュータアーキテクチャを効率的に利用するために設計された論理型プログラミング言語です。そのセマンティクスは一階述語論理に基づいています。宣言型言語フレームワーク内で、並行性、プロセス間通信、不確定性、同期を表現します。^{[ 1 ]}

これはIC Prologとリレーショナル言語の後継として、ロンドンのインペリアル・カレッジでスティーブ・グレゴリーとキース・L・クラークによって設計された。^{[ 2 ] [ 3 ]}

さらに読む

• トム・コンロン、「Parlogプログラミング」、アディソン・ウェズリー

参考文献

1. Andrew Cheese、「Parlogの並列実行」、Springer、1992年、 ISBN 3-540-55382-7、184ページ。
2. 「分散システムプログラミング」HE Bal著、 91-93ページ
3. スティーブ・グレゴリー、「Parlogによる並列論理プログラミング：言語とその実装」、 ISBN 0-201-19241-1、アディソン・ウェズリー、1987年