The query benchmark tests the suitability of Prolog for database problems. Prolog facts are used to represent information about countries such as area and population. The query then computes countries of similar population density. The benchmark is already found in D.H.D. Warren’s thesis [2, page 220].
One test iteration will find all similar countries.