LM-PROLOG from http://www.sics.se/~matsc/lm-prolog.tar.gz