dev-lang/
gprolog

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

http://www.gprolog.org/

The dependencies are regularly computed based on the qa-reports.