本章介绍学习关于 Prolog编程最基本的内容,包括Horn子句 Prolog、推理 机、程序控制、 Prolog算符等。 Visual Prolog是面向对象的、严格类型化的和模式检验的。在编写 Visual Prolog程序时,必须掌握这些内容。但在这里,我们将集中于编写代码这个 核心问题,也就是说,编写这些代码时暂时不考虑类、类型和模式。 我们将使用包含在 Visual Prolog6中的PIE例子。PIE是一个 Prolog经典的 解释器,通过使用它,可以学会和试验 Prolog程序,而不必关心类、类型等 方面的知识

本章介绍 Visual Prolog的数据元素,内容包括论域段(Domains Sections)、通用类型和根类型(Universal and Root Types)等

一、问题的提出 二、曲面的面积 三、平面薄片的重心 四、平面薄片的转动惯量 五、平面薄片对质点的引力 六、小结思考题

一、空间曲线的一般方程 二、空间曲线的参数方程 三、空间曲线在坐标面上的投影 四、小结思考题

一、采煤工作面的循环作业 采煤工作面的“循环”就是完成工作面落 煤、装煤、运煤、支护和放顶(或放顶煤) 等工序的全过程,并且周而复始地进行下去

一、旋转体的体积 二、平行截面面积为已知的立体的体积 三、小结思考题

广州大学：《高等数学》课程教学资源（PPT课件讲稿）第十章 定积分的应用 第二节 由平行截面面积求体积

广州大学：《高等数学》课程教学资源（PPT课件讲稿）第十章 定积分的应用 第一节 平面图形的面积

教学内容：曲面的面积

广州大学：《高等数学》课程教学资源（教案讲义）第十章 定积分的应用 10.1 平面图形的面积