一种基于表处理的知识内部表示及Turbo Prolog实现

摘要

本文介绍一种基于表处理知识内部表示方式，用这种方式，不仅可以表示基于逻辑真伪的变量，也可以描述量的量化程度，并为此设计了推理机。