@第{zbMATH03819057条,作者={Colmerauer、Alain和Kanoui、Henry和Van Caneghem、Michel},Title={Prolog,以{\'e}oriques et d{\'e}veloppements actuels}为基数,FJournal={RAIRO.技术与科学信息},期刊={RAIRO,科技信息},ISSN={0752-4072},体积={2},页码={271--311},年份={1983年},语言={法语},关键词={68N01},zbMATH={3819057},Zbl={0517.68014}}