咨询与建议

看过本文的还看了

相关文献

该作者的其他文献

文献详情 >逻辑程序中的控制策略及其表示 收藏

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

The Control Modes and Their Expressions of The Logic Programming

作     者:张乃孝 侯世君 

作者机构:北京大学计算机科学技术系 

出 版 物:《北京大学学报(自然科学版)》 (Acta Scientiarum Naturalium Universitatis Pekinensis)

年 卷 期:1988年第5期

页      面:630-636页

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

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

读者评论 与其他读者分享你的观点

用户名:未登录
我的评分