|
|||||
|
|
| 逻辑程序中的控制策略及其表示 | |
| 引用本文： | 张乃孝,侯世君.逻辑程序中的控制策略及其表示[J].北京大学学报(自然科学版),1988(5). |
| 作者姓名： | 张乃孝 侯世君 |
| 作者单位： | 北京大学计算机科学技术系 (张乃孝)，北京大学计算机科学技术系(侯世君) |
| 摘 要： | 本文从“算法=逻辑+控制”的思想出发,讨论了逻辑程序设计语言在软件自动生成中的地位和作用;对基于HORN子句逻辑程序中的控制问题进行了广泛的讨论;最后提出了一种将逻辑与控制分离的元级控制的表示形式。 |
| 本文献已被 CNKI 等数据库收录！ | |