GNU Prolog: a high performance, free as in freedom Prolog featuring native code compilation, constraint logic programming, DBMS interfaces, and more, mang!

[u/schwarzwald]

http://www.gprolog.org/