Skip to content

Latest commit

 

History

History
executable file
·
29 lines (20 loc) · 1.66 KB

README.md

File metadata and controls

executable file
·
29 lines (20 loc) · 1.66 KB
Raw

Tau Prolog

Tau Prolog Sandbox

Installation

  1. Upload all the files from the sandbox repository to your web server. This includes installing codemirror in /sandbox/codemirror/.

  2. Import the database.sql file into your database manager. This file contains the database scheme.

  3. Install the tool draw-derivation-trees.

  4. Install Tau Prolog. Make sure that the relative routes in the index.php file are pointing to the Tau Prolog files.

<!-- Tau Prolog modules -->
<script type="text/javascript" src="/code/core-latest.js?update=<?php echo $_time_core; ?>"></script>
<script type="text/javascript" src="/code/lists-latest.js?update=<?php echo $_time_lists; ?>"></script>
<script type="text/javascript" src="/code/random-latest.js?update=<?php echo $_time_random; ?>"></script>
<script type="text/javascript" src="/code/statistics-latest.js?update=<?php echo $_time_statistics; ?>"></script>
<script type="text/javascript" src="/code/dom-latest.js?update=<?php echo $_time_dom; ?>"></script>
<script type="text/javascript" src="/code/js-latest.js?update=<?php echo $_js_statistics; ?>"></script>
<!-- Tau Prolog utils -->
<script type="text/javascript" src="/utils/draw-derivation-trees/draw-derivation-trees.js"></script>
  1. Fill the template file mysql.php.sample with your database login credentials and rename the file to mysql.php.

Here you can see how the default installation looks.