1 GNU Prolog is a native Prolog compiler with constraint solving over
2 finite domains (FD) developed by Daniel Diaz. A lot of work has been
3 devoted to the ISO compatibility. GNU Prolog is very close to the ISO
4 standard (http://www.logic-programming.org/prolog_std.html).
