@杂项{zbMATH03960965，作者={Fujita，M.和Kono，S.以及Tanaka，H.和Moto-oka，T.}，Title={Tokio:{Logic}基于时态逻辑的编程语言及其编译为{Prolog}}，年份={1986}，语言={英语}，HowPublished={逻辑编程，{Proc}。第三{Int}。{确认}。，{伦敦}1986，{Lect}。｛注释｝｛计算｝。{科学}。225, 695-709 (1986).},关键词={68N01,68N25}，zbMATH={3960965}，Zbl={0596.68013}}