Prolog is a computer language that helps us program logically, the way we think. Using "facts and rules" you can create smart applications using prolog. Prolog has a built-in inference engine so prolog can infer things that are not directly stated as facts. Prolog is said to be specially suited for developing artificial intelligence. MagicBrain and the Axon Idea Processor were developed with Visual Prolog.