@书籍{zbMATH05728689，作者={Blackburn，Patrick and Bos，Johan and Striegnitz，Kristina}，标题={立即学习{Prolog}！}，F系列={计算中的文本}，序列={文本计算}，体积={7}，ISBN＝{1-904987-17-6}，年份={2006}，出版商={伦敦：国王学院出版社}，语言={英语}，关键词={68N15,68N17,68-01}，zbMATH={5728689}，Zbl={1192.68117}}