Prolog is a great language. I love it.
Recently I have been writing code which uses a very large number of facts. Hundreds of thousands or millions. This code often turns out to be slow and the algorithms need to be obfuscated somewhat to speed it up.
A few additional features for Sicstus could help this situation significantly:
– an interface to MySQL
– facility to allow predicates to index on any or all arguments