This is an extremely interesting new Prolog system, with strong commitment to the ISO standard, and one of the first systems that treats strings as lists of characters, which comes in extremely handy when reasoning about text.
Congratulations on the new release, keep up the great work!