Krzysztof R.阿普特。 逻辑编程。 （英语） Zbl 0900.68136号 van Leeuwen，Jan（编辑），形式模型和语义。理论计算机科学手册。阿姆斯特丹等：爱思唯尔。493-574 (1990). 有关整个系列，请参见[Zbl 0714.68001号]. 引用于77文件 MSC公司： 68N17号 逻辑编程 PDF格式BibTeX公司 XML格式引用 \textit{K.R.Apt}，in：形式模型和语义。理论计算机科学手册。第二卷阿姆斯特丹等：爱思唯尔。493--574（1990年；Zbl 0900.68136）