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)))); }
header('Cache-Control: no-cache'); $curframe = $data['frame']; //var_dump($frame); while ($data['updated'] > time() - 5) { if ($curframe != $data['frame']) { $curframe = $data['frame']; $frames = unserialize(trim(shmop_read($tdmid, 0, 102400))); $key = array_pop(array_keys($frames)); echo "--{$boundary}\r\nContent-Type: image/jpeg\r\nContent-Length: " . strlen($frames[$key]) . "\r\n\r\n" . $frames[$key]; flush(); } usleep(50000); $data = unserialize(trim(shmop_read($tmid, 0, 1024))); } if (time() - $start < 30) { fresh(); } shmop_close($tdmid); shmop_close($tmid); exit; function output($in) { global $in2; $string = date('r') . ""; imagecopy($in, $in2, 0, 0, 0, 0, 640, 480); $font = 1; $width = imagefontwidth($font) * strlen($string); $height = imagefontheight($font) + 30; $x = imagesx($in) - $width; $y = imagesy($in) - $height; $backgroundColor = imagecolorallocate($in, 255, 255, 255);