Ejemplos de mzero en PHP

Ejemplo n.º 1

Archivo: CoreTest.php Proyecto: mudge/php-microkanren

 public function testMzero()
 {
     $this->assertEquals(nil(), mzero());
 }

Ejemplo n.º 2

Archivo: Core.php Proyecto: mudge/php-microkanren

/**
 * Returns a state with an empty substitution and variable index at 0.
 */
function emptyState()
{
    return cons(mzero(), 0);
}