A description of how Aquarius Prolog gets performance comparable to imperative languages: https://www2.eecs.berkeley.edu/Pubs/TechRpts/1990/CSD-90-600.pdf