Prolog Program Structure
A Prolog program consists of an ordered collection of logical statements. These usually represent:
- background information in the form of facts and rules;
- specific information for a given problem in the form of facts;
- a hypothesis or a statement containing a free variable, representing a query.