trill_on_swish/commit

added all needed files

authorrzese
Fri Jul 15 16:33:36 2016 +0200
committerrzese
Fri Jul 15 16:33:36 2016 +0200
commitd8eca0b980c98821ea98ad606c34eac09802af67
treec3b933d0e054a5828e5e41e5d7589bf03d31bdd1
parent890b440622f06619c2e314b9f8ba114efc5d46ac
Diff style: stat patch
 client/swish-ask.sh                                |   87 +
 examples/clpfd_queens.pl                           |   36 +
 examples/clpfd_sudoku.pl                           |   38 +
 examples/database.pl                               |   24 +
 examples/dict.swinb                                |  133 +
 examples/eliza.pl                                  |   31 +
 examples/examples_swish.swinb                      |   46 +
 examples/expert_system.pl                          |   37 +
 examples/grammar.pl                                |   42 +
 examples/houses_puzzle.pl                          |   73 +
 examples/htmlcell.swinb                            |  175 ++
 examples/io.pl                                     |   24 +
 examples/japanese.pl                               |   18 +
 examples/jquery.swinb                              |   55 +
 examples/kb.pl                                     |   22 +
 examples/knights_and_knaves.pl                     |   61 +
 examples/lists.pl                                  |   31 +
 examples/movies.pl                                 | 3028 +++++++++++++++++++
 examples/prolog_tutorials.swinb                    |   27 +
 examples/queens.pl                                 |   39 +
 examples/render_XXX.swinb                          |   20 +
 examples/render_bdd.swinb                          |   87 +
 examples/render_c3.swinb                           |  210 ++
 examples/render_chess.swinb                        |   35 +
 examples/render_codes.swinb                        |   55 +
 examples/render_graphviz.swinb                     |  209 ++
 examples/render_sudoku.swinb                       |   55 +
 examples/render_svgtree.swinb                      |   72 +
 examples/render_table.swinb                        |  122 +
 examples/rendering.swinb                           |   84 +
 examples/stats.swinb                               |  143 +
 examples/swish_tutorials.swinb                     |   13 +
 examples/tabling.swinb                             |   99 +
 examples/trill/BRCA.pl                             |  490 ++++
 examples/trill/DBPedia.pl                          | 1263 ++++++++
 examples/trill/biopaxLevel3.pl                     | 3066 ++++++++++++++++++++
 examples/trill/commander.pl                        |   14 +
 examples/trill/examples_trill.swinb                |   19 +
 examples/trill/johnEmployee.pl                     |   42 +
 examples/trill/peoplePets.pl                       |  194 ++
 examples/trill/vicodi.pl                           | 1707 +++++++++++
 lib/trill_on_swish/gitty_driver_bdb.pl             |  278 ++
 lib/trill_on_swish/gitty_driver_files.pl           |  451 +++
 lib/trill_on_swish/gitty_tools.pl                  |  280 ++
 lib/trill_on_swish/procps.pl                       |  208 ++
 lib/trill_on_swish/profiles.pl                     |  123 +
 lib/trill_on_swish/swish_csv.pl                    |  144 +
 lib/trill_on_swish/swish_debug.pl                  |  373 +++
 profiles/00-Empty.pl                               |    0
 profiles/00-Empty.swinb                            |    0
 profiles/10-Empty-TRILL.pl                         |    6 +
 profiles/10-Empty-TRILL.swinb                      |    0
 profiles/20-Non-Probabilistic-TRILL.pl             |   49 +
 profiles/20-Non-Probabilistic-TRILL.swinb          |   45 +
 profiles/30-Probabilistic-TRILL.pl                 |   68 +
 profiles/30-Probabilistic-TRILL.swinb              |   53 +
 web/bower_components/codemirror/mode/css/css.js    |  825 ++++++
 .../codemirror/mode/htmlmixed/htmlmixed.js         |  152 +
 .../codemirror/mode/javascript/javascript.js       |  748 +++++
 web/css/swish-min.css                              |   14 +
 web/css/swish-min.css.gz                           |  Bin 0 -> 72829 bytes
 web/help/debug.html                                |  165 ++
 web/help/editor.html                               |   25 +
 web/icons/rb_favicon.ico                           |  Bin 0 -> 16958 bytes
 web/icons/wip.png                                  |  Bin 0 -> 2791 bytes
 web/js/swish-min.js                                |  330 +++
 web/js/swish-min.js.gz                             |  Bin 0 -> 359390 bytes
 67 files changed, 16363 insertions(+)