} 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(); ?>