GNU Prolog is a free Prolog compiler