public function testCallGoal() { $x = fresh(function () { return conjPlus(eq(1, 1)); }); $result = callGoal($x); $this->assertEquals('((() . 0))', sprintf('%s', take(1, $result))); }
function runStar($g) { return map('MicroKanren\\Core\\reifyFirst', takeAll(callGoal(fresh($g)))); }