trill_on_swish/commit
added all needed files
| author | rzese |
|---|---|
| Fri Jul 15 16:33:36 2016 +0200 | |
| committer | rzese |
| Fri Jul 15 16:33:36 2016 +0200 | |
| commit | d8eca0b980c98821ea98ad606c34eac09802af67 |
| tree | c3b933d0e054a5828e5e41e5d7589bf03d31bdd1 |
| parent | 890b440622f06619c2e314b9f8ba114efc5d46ac |
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(+)