reasoned-php:PHP中的迷你看人

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