Application of visual prolog on stratigraphic correlation and connection

Using the advantages of Visual Prolog language in the process of knowledge representation and logical reasoning, based on borehole sample data, this paper discusses the methods of stratigraphic correlation and connection. We establish a system architecture, which consists of knowledge acquisition system, fact database, rule database, knowledge management system, reasoning machine and the man-machine interface. This paper mainly introduces the structure of stratigraphic correlation and connection knowledge database. Next, it focus on how to use visual prolog to represent facts and rules, establish knowledge database, and how to implement intelligent reasoning by using SLD-Resolution with cut, fails and other control mechanisms. In order to confirm the practical result of this method, we test it with some data. The results show the method is effective.