AN INTERNAL KNOWLEDGE EXPRESSION BASED ON LIST PROCESSING AND ITS REALIZATION IN TURBO PROLOG
-
-
Abstract
This paper presents an internal knowledge expression based on list processing. Not only a logic parameter but also the parameter which requires a certain value-range can be described in this expression. An inference machine based on list processing is also given.
-
-