开发者 gprolog.sf.net

GNU Prolog 是逻辑编程语言 Prolog 的免费实现（在 GPL 下）。它可以编译为本机代码，执行速度非常快。另一个功能是包含的约束解算器。