Design and Implementation of POKRS’s Inference Mechanism

This paper describes the design and implementation of a Prolog-based Object-oriented Knowledge Representation System’s（POKRS,for short）inference mechanism,which includes a mecha- nism of object’s message processing and method searching,an executing mechanism of logic,and meta- inference carrying out the deductive inference on the object’s local knowledge unit in the method execution.