PHP emptyStateの例

コード例 #1

ファイル: MiniTest.php プロジェクト: mudge/php-microkanren

 public function testFreshWithNoVariables()
 {
     $x = fresh(function () {
         return conjPlus(eq(1, 1));
     });
     $result = $x(emptyState());
     $this->assertEquals('((() . 0))', sprintf('%s', take(1, $result)));
 }

コード例 #2

ファイル: Mini.php プロジェクト: mudge/php-microkanren

function callGoal($g)
{
    return $g(emptyState());
}

コード例 #3

ファイル: CoreTest.php プロジェクト: mudge/php-microkanren

 public function testManyNonAns()
 {
     $g = manyNonAns();
     $h = $g(emptyState());
     $this->assertEquals('((((#(0) . 3)) . 1))', sprintf('%s', take(1, $h)));
 }