Temporal Prolog : A Programming Language Based on Temporal Logic
1987 年 4 巻 3 号 p. 3_199-3_211
詳細
1987 年 4 巻 3 号 p. 3_199-3_211
Temporal Logicに裁づいた論理型言語を紹介する.この言語によって,並列処理・待ち合わせ・相互排除・非決定性などを容易に表現できる.applicationとしてはexecutable specification languageとしての使用を念頭においている.
