tau-prolog / sandbox

An online Tau Prolog sandbox

Home Page:http://tau-prolog.org/sandbox

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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.

About

An online Tau Prolog sandbox

http://tau-prolog.org/sandbox

License:BSD 3-Clause "New" or "Revised" License


Languages

Language:PHP 40.0%Language:JavaScript 35.8%Language:CSS 24.2%