Prolog is a declarative language. By stating the facts and rules which relate objects in the problem domain to each other, you constuct your Prolog program. Its meaning is the set of logical consequences of these program statements, and this is computed by the inference engine at run-time.

You do not have to be concerned with telling the machine how to solve the problem, nor where to put data in memory. This allows you to concentrate on the problem at hand rather than on software concerns.

Scoping rules are simple and uniform in Prolog, and declaration of variable names is not required. This reduces code size and opportunities for error.

Prolog programs tend to be from five to ten times smaller than the equivalent procedural programs. This reduces the opportunity for human error and reduces maintenance cost.

Prolog is not specifically for Artificial Intelligence. It is a powerful general-purpose programming language with efficient implementations available on most computing platforms today. You can use PMPro to enter the world of Prolog programming at a low initial cost, or to mix Prolog subsystems into your own systems. You may find the Prolog approach so useful that you will want to move to a Prolog compiler for your next major system.

Prolog has a history of use for linguistics research and natural language processing. While voice capture technology has solved the problem of translating sounds into phonemes and words, procedural languages (including object-oriented ones) have not provided a productive way of adding natural language "smarts" to your programs. This is one of Prolog's strengths, and is the reason we have chosen Mariah, a loquacious African Grey parrot, as our logo for PMPro.

Mariah already has a great deal more language processing and context recognition power than your computer, but you can close the gap by using Prolog in your systems.

Natural language interaction is the next great revolution in user interface design. The low-level problems have already been solved by speech recognition libraries like ICSS for OS/2. But using these libraries just to navigate menus is a waste. Give your programs the power to treat the word stream as language, by building PMPro into your systems!