vulcan/web/vulcan.html

A resolution-based propositional logic tool

<div ng-controller="vulcanDemoCtrl">
  <table>
    <tr>
      <th></th>
      <th>Fact</th>
      <th>Remove</th>
    </tr>
    <tr ng-repeat="r in rules">
      <td>{{ $index + 1 }}</td>
      <td>{{ r }} </td>
      <td ng-click="removeRule($index)">Remove</td>
    </tr>
    <tr>
      <td>{{ rules.length + 1 }}</td>
      <td><input type="text" ng-model="ruleInput" /></td>
      <td ng-click="addRule()">Add</td>
    </tr>
  </table>


    <input type="text" ng-model="query" /> 
    <button type="button" ng-click="prove()">Prove</button>



  <table ng-show="proof.length != 0">
    <tr>
      <th>Step</th>
      <th>Sentence</th>
      <th>Action</th>
    </tr>
    <tr ng-repeat="ax in proof">
      <td>{{ ax.idx }}</td><td>{{ ax.tree }}</td><td>{{ ax.label }}</td>
    </tr>
  </table>
</div>