Prolog is a bit different, and its program consist of three main things: Facts and rules together form what is often called a knowledge base. Often, writing a Prolog program consists of creating a ...