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