Benchmarks for Quintus Prolog

Performance Summary and Benchmarks

The Quintus Prolog compiler produces portable, optimized virtual machine (WAM) code. The table below shows performance for some platforms on the naive reverse benchmark (list of 30 elements, repeated 10000 times). The figures are in "Lips" (Logical Inferences Per Second), Quintus Prolog 3.4. The source code is in demo(nrev).

Bytecode Lips (Naive Reverse)

Other Benchmarks

• crypt solves a cryptoarithmetic puzzle.
• deriv symbolically differentiates four functions of a single variable.
• poly symbolically raises 1+x+y+z to the tenth power.
• prime finds all primes up to 100.
• qsort quicksorts a list of 50 integers using difference lists.
• queens finds all safe placements of 9 queens on a 9x9 chessboard.
• query finds countries with approximately equal population density.
• tak is an artificial benchmark, originally written in Lisp; it is heavily recursive and does lots of simple integer arithmetic.

• harness

Results