Daniel Diaz

Free
GNU Prolog is a free Prolog compiler with constraint solving over finite domains