run.html

---
layout: page
title: Running clingo
css:
  - /css/clingo.css
javascript:
  - /js/ace.js
  - /js/clingo-module.js
  - /js/clingo.js
permalink: /clingo/run/
---

<div class="center">

 <ul class="hlist">
  <li><b>Examples:</b></li>
  <li>
    <select id="examples" onchange="example()">
        <optgroup label="Simple Examples">
          <option value="/clingo/run/examples/harry-and-sally.lp">Harry and Sally</option>
          <option value="/clingo/run/examples/flying-birds.lp">Flying Birds</option>
          <option value="/clingo/run/examples/graph-coloring.lp">Graph Coloring</option>
          <option value="/clingo/run/examples/n-queens.lp">n-Queens</option>
        </optgroup>
        <optgroup label="Advanced Examples">
          <option value="/clingo/run/examples/traveling-salesperson.lp">Traveling Salesperson</option>
          <option value="/clingo/run/examples/blocksworld-planning.lp">Blocksworld Planning</option>
          <option value="/clingo/run/examples/pigeonator-propagator.lp">Pigeonator Propagator</option>
        </optgroup>
    </select>
  </li>
 </ul>

 <pre id="input">
% instance
motive(harry).
motive(sally).
guilty(harry).

% encoding
innocent(Suspect) :- motive(Suspect), not guilty(Suspect).</pre>

 <ul class="hlist">
  <li><b>Configuration:</b></li>
  <li>reasoning mode
   <select id="mode">
    <option selected>default</option>
    <option>brave</option>
    <option>cautious</option>
    <option>enumerate all</option>
   </select>
  </li>
  <li><input type="checkbox" id="project"/>&nbsp;project</li>
  <li><input type="checkbox" id="stats"/>&nbsp;statistics</li>
 </ul>

 <input type="button" id="run" value="&#x25ba; Run!" onclick="solve()" disabled/>

 <pre id="output" class="code"></pre>

</div>

<script type="text/javascript">
var Module; // global
</script>