一个兼备函数和逻辑风格的知识程序设计环境的设计  

作　　者：成岗[1] 张运桢[2] 

机构地区：[1]中科院成都计算机应用研究所 [2]华中理工大学计算机系

出　　处：《计算机应用》1989年第4期20-26,共7页journal of Computer Applications

摘　　要：本文介绍了一个兼备函数和逻辑程序设计风格的知识程序设计环境,包括其设计思想、基本原理、结合方式及实现等,同时也讨论了设计过程中的一些考虑和选择。

关 键 词：逻辑程序设计 函数 逻辑 知识 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]