Prolog is designed for Artificial Intelligence, and it deals with the declarative and logical aspects. Prolog is a logic programming and is based on three attributes- Facts, Rules of Inference and Questions. Facts are the known truths, rules determine how new information can be inferred from these facts, and questions search for answers according to the facts and rules.
