dev-lang/
gprolog

A native Prolog compiler with constraint solving over finite domains (FD)

http://www.gprolog.org/

Latest Commits