PHP中的约束编程

PHP有任何约束编程库吗？一阶谓词逻辑库可以在这里找到：

约束编程库倾向于用C/C++编写，出于速度原因，您可以很容易地创建成本高昂的问题。您的最佳赌注是：

• 查找一个具有现有PHP包装器的C/C++库（一个快速的Google不会显示任何内容）
• 围绕任何库创建您自己的包装器
• 使用“黑盒”外部程序，例如通过命令行和文本文件与之交互的程序

---

或者，从上面的示例中获取Python代码，并从PHP调用它。

我最喜欢的是：$result=popen（“prolog