A free Prolog compiler developed by Daniel Diaz