PHP fives示例

示例#1

文件： CoreTest.php 项目： mudge/php-microkanren

 public function testWhoCares()
 {
     $x = callFresh(function ($q) {
         return fives($q);
     });
     $result = $x(emptyState());
     $this->assertEquals('((((#(0) . 5)) . 1))', sprintf('%s', take(1, $result)));
 }

示例#2

文件： TestPrograms.php 项目： mudge/php-microkanren

function fives($x)
{
    return disj(eq($x, 5), function ($aC) use($x) {
        return function () use($x, $aC) {
            $f = fives($x);
            return $f($aC);
        };
    });
}