dev-lang/
gprolog

Native Prolog compiler with constraint solving over finite domains (FD)

http://www.gprolog.org/