Reasoned PHPPHP中的迷你逻辑编程引擎

合理的PHP PHP中的。序幕这到底是什么？这是一个微型逻辑编程引擎！你问什么是逻辑编程？逻辑编程是一种很大程度上被低估的范式，它从根本上改变了您编写、思考和运行程序的方式。把你的程序想象成一堆关系。你可以将事物相互联系起来。每次您使用单向分配= ，该分配现在都变成双向关系== 。它是双向的。该程序形成了从一个或多个输入到一个或多个输出的关系链。您可以引入未绑定值的逻辑变量（使用fresh ）。这些变量服从通过关系强加于它们的约束。这允许您提供一个新的逻辑变量并查看它绑定到的内容。这就是您从逻辑程序中获取输出的通常做法。通过使用连词（“and”）和析取词（“or”），可以形成逻辑关系。这允许您对不同的可能执行流程进行编码。对此的高级方法是conde ，它是连词的分离。所有这些逻辑关系形成一棵树。程序的执行对应于通过树的广度优先搜索，该树