Prolog Rules
Prolog utilizes rules to determine the relationship between true values to provide solutions to queries which are not axomatic. Rules define a relationship of truth between the defining predicate one or more additional predicates. A rule is merely a classification of a predicate and may be freely mixed with facts.