实现概念图工具的若干问题研究

研究了一个概念图共具中概念图存储结构的自动生成，概念图上的运算及推理等问题的实现方法，并用Ｐｒｏｌｏｇ语言验证之。