http://www.gprolog.org/