Prolog is a language built around the Logical Paradigm: a declarative approach to problem-solving. There are only three basic constructs in Prolog: facts, rules, and queries. A collection of facts and rules is called a knowledge base (or a database)…