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

摘要

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