Native Prolog compiler with constraint solving over finite domains (FD)
http://www.gprolog.org/