PHP emptyState Examples

Example #1

File: MiniTest.php Project: 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)));
 }

Example #2

File: Mini.php Project: mudge/php-microkanren

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

Example #3

File: CoreTest.php Project: mudge/php-microkanren

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