PHP callGoal Examples

Example #1

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

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

Example #2

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

function runStar($g)
{
    return map('MicroKanren\\Core\\reifyFirst', takeAll(callGoal(fresh($g))));
}