Title: Prolog Programming Based on Predicate Logic
Abstract: Horn logic in first order predicate logic is the theoretical basis of artificial intelligence program language Prolog.The use of Prolog in computer can implement mechanization.This causes the problem of automatic solving and theorem proof to be viable.The paper starts with an introduction to the theoretical foundations of Horn logic and the basic principles of Prolog.Then in the next part of the paper the principles of Horn clause,SLD resolution,searching and backtracking are used to discuss how to carry out some applications of automatic inferences in computer,such as mathematical function and theorem proving.
Publication Year: 2009
Publication Date: 2009-01-01
Language: en
Type: article
Access and Citation
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot