LogC:A LANGUAGE AND ENVIRONMENT FOR KNOWLEDGE INFERENCES
LogC智能推理语言和环境

The LogC language and environment is designed to support knowledge inferences for intelligent problem solving. This paper describes the LogC motivatives and some of design features.