版权所有：内蒙古大学图书馆 技术提供：维普资讯• 智图
内蒙古自治区呼和浩特市赛罕区大学西街235号 邮编: 010021
逻辑程序中的控制策略及其表示
The Control Modes and Their Expressions of The Logic Programming作者机构：北京大学计算机科学技术系
出 版 物：《北京大学学报(自然科学版)》 (Acta Scientiarum Naturalium Universitatis Pekinensis)
年 卷 期：1988年第5期
页 面：630-636页
主 题：逻辑程序 算法 Prolog 控制策略 逻辑程序设计语言 目标子句
摘 要：本文从“算法=逻辑+控制的思想出发,讨论了逻辑程序设计语言在软件自动生成中的地位和作用;对基于HORN子句逻辑程序中的控制问题进行了广泛的讨论;最后提出了一种将逻辑与控制分离的元级控制的表示形式。
