Neural Prolog-the concepts, construction and mechanism

This article introduces a Prolog-like inference system based on Neural Logic. A brief introduction of the background of this research is given first. The logical basis, knowledge construction and inference mechanism of Neural Prolog are described.