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);
