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