}
echo "<input type='hidden' id='{$name}source' name='{$source}' value=''/>\n";
echo "<input type='hidden' name='filename' value='{$_SESSION['filename']}' />";
echo "\n</form>\n";
}
respec_button('logen', 'upload_initial.php', 'Respecialise', 'usertyped');
if (isset($ecce_url)) {
respec_button('ecce', $ecce_url, 'Upload to Ecce', 'source', 'input file', 'Input');
}
if (isset($asap_url)) {
respec_button('asap', $asap_url, 'Upload to ASAP', 'source', 'input file', 'Input');
}
?>
</p>
<?php
js_toggleShow();
?>
<div style="margin-top: 8px; overflow: auto; height: 400px" id="logbox" class="log">
<?php
echo nl2br(htmlspecialchars($log));
?>
</div><?php
} elseif ($retarray[0] > 0) {
// Error while running logen command
$error = $_SESSION['specerror'] = $retarray[2];
$goal = htmlspecialchars($goal);
if (preg_match('/\\*\\*\\* UNSAFE CALL: (.*) \\*\\*\\*/', $error, $matches)) {
?>
html_start('Specialising : ' . $_SESSION['filename'], 'prolog.css', '', 4, '');
<p>Logen attempted to execute a predicate marked <em>call</em> which
does not appear in the <em>whitelist</em>. This list contains predicates
function filterExists(name, arity)
{
if(currentFilters[name] == null)
{
return false;
}
return currentFilters[name][arity];
}
function changeDisableOptions(val)
{
document.getElementsByName('watch_builtins')[0].disabled = val;
document.getElementsByName('watch_connectives')[0].disabled = val;
document.getElementsByName('watch_infunfold')[0].disabled = val;
document.getElementsByName('watch_infmemo')[0].disabled = val;
document.getElementsByName('watch_backprop')[0].disabled = val;
}
<?php
js_toggleShow(false);
?>
// ]]>
</script>
<script type="text/javascript" src="getText.js"></script>
<?php
tooltip_js();
?>
