文件名称：reasoned-php:PHP中的迷你看人
文件大小：26KB
文件格式：ZIP
更新时间：2024-07-23 04:17:27
Hack
合理的 php PHP 中的。 序幕 这到底是什么？ 这是一个微型逻辑编程引擎！ 你问什么是逻辑编程？ 逻辑编程是一种很大程度上被低估的范式，它从根本上改变了您编写、思考和运行程序的方式。 把你的程序想象成一堆关系。 你可以将事物相互联系起来。 每次您使用单向分配= ，该分配现在都变成双向关系== 。 它是双向的。 该程序形成了从一个或多个输入到一个或多个输出的关系链。 您可以引入未绑定值的逻辑变量（使用fresh ）。 这些变量服从通过关系强加于它们的约束。 这允许您提供一个新的逻辑变量并查看它绑定到的内容。 这就是您从逻辑程序中获取输出的通常做法。 通过使用连词（“and”）和析取词（“or”），可以形成逻辑关系。 这允许您对不同的可能执行流程进行编码。 对此的高级方法是conde ，它是连词的分离。 所有这些逻辑关系形成一棵树。 程序的执行对应于通过树的广度优先搜索，该树
【文件预览】：
reasoned-php-master
----composer.json(352B)
----interpreter.php(3KB)
----reasoned.php(17KB)
----clause-and-effect()
--------22-ordered-search-trees.php(2KB)
--------12-partial-maps.php(1KB)
--------23-frequency-distribution.php(2KB)
--------99-06-term-rewriting.php(6KB)
--------03-affordable-journeys.php(1KB)
--------28-linearising-efficiently.php(1KB)
--------02-drinking-pairs.php(1KB)
--------08-maximum-of-a-list.php(584B)
--------09-searching-a-cyclic-graph.php(2KB)
--------14-partial-maps-with-a-parameter.php(425B)
--------13-removing-duplicates.php(952B)
--------06-length-of-a-list.php(1KB)
--------15-multiple-disjoint-partial-maps.php(4KB)
--------01-party-pairs.php(1KB)
--------07-inner-product.php(705B)
--------27-linearising.php(973B)
--------04-acyclic-directed-graph.php(934B)
--------18-sequential-maps-with-state.php(971B)
----peano.php(2KB)
----LICENSE(1KB)
----oleg-numbers.php(11KB)
----.gitignore(7B)
----test.php(10KB)
----README.md(5KB)
----type-inferencer.php(1KB)