Add Ciao - a complete Prolog system. http://www.ciaohome.org