PHP isVariable Examples

Example #1

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

 public function testIsVariable()
 {
     $var = variable(1);
     $list = cons(1, 2);
     $this->assertTrue(isVariable($var));
     $this->assertFalse(isVariable($list));
 }

Example #2

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

function walkStar($v, $s)
{
    $v = walk($v, $s);
    if (isVariable($v)) {
        return $v;
    } elseif (isPair($v)) {
        return cons(walkStar(car($v), $s), walkStar(cdr($v), $s));
    } else {
        return $v;
    }
}