GNU PROLOG with UTF8 support
doxygen