A free Prolog compiler developed by Daniel Diaz
