逻辑程序中的控制策略及其表示

被引：2

作者：

张乃孝

侯世君

机构：

[1] 北京大学计算机科学技术系

来源：

关键词：

逻辑程序; 算法; Prolog; 控制策略; 逻辑程序设计语言; 目标子句;

D O I：

10.13209/j.0479-8023.1988.077

中图分类号：

学科分类号：

摘要：

本文从“算法=逻辑+控制”的思想出发,讨论了逻辑程序设计语言在软件自动生成中的地位和作用;对基于HORN子句逻辑程序中的控制问题进行了广泛的讨论;最后提出了一种将逻辑与控制分离的元级控制的表示形式。

引用

页码：630 / 636

页数：7