GNU Prolog disponible para sistemas Microsoft Windows en
http://gnu-prolog.inria.fr/#download