PHP callGoalの例

コード例 #1

ファイル: MiniTest.php プロジェクト: 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)));
 }

コード例 #2

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

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