逻辑编程简介。 本课程从Prolog开始，因为据信，如果读者对它与理论的实际实例有何联系，则可以更轻松地学习该理论。