@第{zbMATH04026798条，作者={Arbab，Bijan and Berry，Daniel M.}，标题={PROLOG}}的操作语义和指称语义，FJournal={逻辑编程杂志}，日志={J.Log.Program.}，ISSN={0743-1066}，体积={4}，页码={309--329}，年份={1987}，语言={英语}，DOI={10.1016/0743-1066（87）90008-2}，关键词={68N01,68Q60}，zbMATH={4026798}，Zbl={0631.68012}}