refs/heads/vendor - prolog-cafe

commit: 73b5ce4f5fbef086a22de3292a53e1ffe2947fab
[log] [tgz]
author: Prolog Cafe Authors <nobody@kaminari.scitec.kobe-u.ac.jp>
Wed Jun 24 00:00:00 2009 -0700
committer: Shawn O. Pearce <sop@google.com>
Tue May 31 12:34:05 2011 -0700
tree: caf9cb7f6d9ec4801399290e114c03400acd5307

Prolog Cafe 1.2.5

Homepage: http://kaminari.scitec.kobe-u.ac.jp/PrologCafe/
Download: http://kaminari.scitec.kobe-u.ac.jp/PrologCafe/archives/PrologCafe1.2.5.tgz

.gitignore[Added - diff]
Makefile[Added - diff]
README[Added - diff]
bin/plcafe[Added - diff]
bin/plcomp[Added - diff]
bin/pljar[Added - diff]
bin/pljava[Added - diff]
bin/pljavac[Added - diff]
examples/Makefile[Added - diff]
examples/benchmarks/.gitignore[Added - diff]
examples/benchmarks/Makefile[Added - diff]
examples/benchmarks/bench_util.pl[Added - diff]
examples/benchmarks/brahme/Makefile[Added - diff]
examples/benchmarks/brahme/bench_util.pl[Added - diff]
examples/benchmarks/brahme/plbench.in[Added - diff]
examples/benchmarks/brahme/plbench.pl[Added - diff]
examples/benchmarks/dobry/Makefile[Added - diff]
examples/benchmarks/dobry/bench_util.pl[Added - diff]
examples/benchmarks/dobry/dobry.in[Added - diff]
examples/benchmarks/dobry/dobry.pl[Added - diff]
examples/benchmarks/ecrc/Makefile[Added - diff]
examples/benchmarks/ecrc/bench_1_1.in[Added - diff]
examples/benchmarks/ecrc/bench_1_1.pl[Added - diff]
examples/benchmarks/ecrc/bench_1_2.in[Added - diff]
examples/benchmarks/ecrc/bench_1_2.pl[Added - diff]
examples/benchmarks/ecrc/bench_1_3.in[Added - diff]
examples/benchmarks/ecrc/bench_1_3.pl[Added - diff]
examples/benchmarks/ecrc/bench_1_4.in[Added - diff]
examples/benchmarks/ecrc/bench_1_4.pl[Added - diff]
examples/benchmarks/ecrc/bench_1_5.in[Added - diff]
examples/benchmarks/ecrc/bench_1_5.pl[Added - diff]
examples/benchmarks/ecrc/bench_1_6.in[Added - diff]
examples/benchmarks/ecrc/bench_1_6.pl[Added - diff]
examples/benchmarks/ecrc/bench_1_7.in[Added - diff]
examples/benchmarks/ecrc/bench_1_7.pl[Added - diff]
examples/benchmarks/ecrc/bench_2.in[Added - diff]
examples/benchmarks/ecrc/bench_2.pl[Added - diff]
examples/benchmarks/holmer/Makefile[Added - diff]
examples/benchmarks/holmer/README[Added - diff]
examples/benchmarks/holmer/bench_util.pl[Added - diff]
examples/benchmarks/holmer/boyer.in[Added - diff]
examples/benchmarks/holmer/boyer.pl[Added - diff]
examples/benchmarks/holmer/browse.in[Added - diff]
examples/benchmarks/holmer/browse.pl[Added - diff]
examples/benchmarks/holmer/chat_parser.in[Added - diff]
examples/benchmarks/holmer/chat_parser.pl[Added - diff]
examples/benchmarks/holmer/crypt.in[Added - diff]
examples/benchmarks/holmer/crypt.pl[Added - diff]
examples/benchmarks/holmer/divide10.in[Added - diff]
examples/benchmarks/holmer/divide10.pl[Added - diff]
examples/benchmarks/holmer/fast_mu.in[Added - diff]
examples/benchmarks/holmer/fast_mu.pl[Added - diff]
examples/benchmarks/holmer/flatten.in[Added - diff]
examples/benchmarks/holmer/flatten.pl[Added - diff]
examples/benchmarks/holmer/log10.in[Added - diff]
examples/benchmarks/holmer/log10.pl[Added - diff]
examples/benchmarks/holmer/meta_qsort.in[Added - diff]
examples/benchmarks/holmer/meta_qsort.pl[Added - diff]
examples/benchmarks/holmer/mu.in[Added - diff]
examples/benchmarks/holmer/mu.pl[Added - diff]
examples/benchmarks/holmer/nand.pl.bak[Added - diff]
examples/benchmarks/holmer/nreverse.in[Added - diff]
examples/benchmarks/holmer/nreverse.pl[Added - diff]
examples/benchmarks/holmer/ops8.in[Added - diff]
examples/benchmarks/holmer/ops8.pl[Added - diff]
examples/benchmarks/holmer/poly_10.in[Added - diff]
examples/benchmarks/holmer/poly_10.pl[Added - diff]
examples/benchmarks/holmer/prover.in[Added - diff]
examples/benchmarks/holmer/prover.pl[Added - diff]
examples/benchmarks/holmer/qsort.in[Added - diff]
examples/benchmarks/holmer/qsort.pl[Added - diff]
examples/benchmarks/holmer/queens_8.in[Added - diff]
examples/benchmarks/holmer/queens_8.pl[Added - diff]
examples/benchmarks/holmer/query.in[Added - diff]
examples/benchmarks/holmer/query.pl[Added - diff]
examples/benchmarks/holmer/reducer.in[Added - diff]
examples/benchmarks/holmer/reducer.pl[Added - diff]
examples/benchmarks/holmer/sdda.in[Added - diff]
examples/benchmarks/holmer/sdda.pl[Added - diff]
examples/benchmarks/holmer/serialise.in[Added - diff]
examples/benchmarks/holmer/serialise.pl[Added - diff]
examples/benchmarks/holmer/simple_analyzer.in[Added - diff]
examples/benchmarks/holmer/simple_analyzer.pl[Added - diff]
examples/benchmarks/holmer/tak.in[Added - diff]
examples/benchmarks/holmer/tak.pl[Added - diff]
examples/benchmarks/holmer/times10.in[Added - diff]
examples/benchmarks/holmer/times10.pl[Added - diff]
examples/benchmarks/holmer/unify.in[Added - diff]
examples/benchmarks/holmer/unify.pl[Added - diff]
examples/benchmarks/holmer/zebra.in[Added - diff]
examples/benchmarks/holmer/zebra.pl[Added - diff]
examples/benchmarks/minerva/Makefile[Added - diff]
examples/benchmarks/minerva/bench_util.pl[Added - diff]
examples/benchmarks/minerva/mrp_and_mrs.in[Added - diff]
examples/benchmarks/minerva/mrp_and_mrs.pl[Added - diff]
examples/benchmarks/pereira/Makefile[Added - diff]
examples/benchmarks/pereira/pereira.in[Added - diff]
examples/benchmarks/pereira/pereira.pl[Added - diff]
examples/benchmarks/portland/Makefile[Added - diff]
examples/benchmarks/portland/bench_util.pl[Added - diff]
examples/benchmarks/portland/bintree.in[Added - diff]
examples/benchmarks/portland/bintree.pl[Added - diff]
examples/benchmarks/portland/cd.in[Added - diff]
examples/benchmarks/portland/cd.pl[Added - diff]
examples/benchmarks/portland/genlist.in[Added - diff]
examples/benchmarks/portland/genlist.pl[Added - diff]
examples/benchmarks/portland/hanoi.in[Added - diff]
examples/benchmarks/portland/hanoi.pl[Added - diff]
examples/benchmarks/portland/loop.in[Added - diff]
examples/benchmarks/portland/loop.pl[Added - diff]
examples/benchmarks/portland/memfill.in[Added - diff]
examples/benchmarks/portland/memfill.pl[Added - diff]
examples/benchmarks/portland/nairev.in[Added - diff]
examples/benchmarks/portland/nairev.pl[Added - diff]
examples/benchmarks/portland/polyeval.in[Added - diff]
examples/benchmarks/portland/polyeval.pl[Added - diff]
examples/benchmarks/portland/primes.in[Added - diff]
examples/benchmarks/portland/primes.pl[Added - diff]
examples/benchmarks/portland/snairev.in[Added - diff]
examples/benchmarks/portland/snairev.pl[Added - diff]
examples/benchmarks/portland/sort.in[Added - diff]
examples/benchmarks/portland/sort.pl[Added - diff]
examples/benchmarks/quintus/Makefile[Added - diff]
examples/benchmarks/quintus/bench.in[Added - diff]
examples/benchmarks/quintus/bench.pl[Added - diff]
examples/benchmarks/src/bench.pl[Added - diff]
examples/benchmarks/src/dobry.txt[Added - diff]
examples/benchmarks/src/path.pro[Added - diff]
examples/benchmarks/src/plbench.txt[Added - diff]
examples/benchmarks/xprolog/Makefile[Added - diff]
examples/benchmarks/xprolog/bench_util.pl[Added - diff]
examples/benchmarks/xprolog/path.in[Added - diff]
examples/benchmarks/xprolog/path.pl[Added - diff]
examples/java/Knight.java[Added - diff]
examples/java/Makefile[Added - diff]
examples/java/Peg.java[Added - diff]
examples/java/Pentomino.java[Added - diff]
examples/java/PrologControlPanel.java[Added - diff]
examples/java/PrologFrame.java[Added - diff]
examples/java/Queens.java[Added - diff]
examples/java/README[Added - diff]
examples/java/knight.pl[Added - diff]
examples/java/peg.pl[Added - diff]
examples/java/pentomino.pl[Added - diff]
examples/java/queens.pl[Added - diff]
examples/plcafe/Makefile[Added - diff]
examples/plcafe/T.java[Added - diff]
examples/plcafe/border_layout.pl[Added - diff]
examples/plcafe/frame.pl[Added - diff]
examples/plcafe/paint.pl[Added - diff]
examples/plcafe/queens.pl[Added - diff]
examples/plcafe/thread.pl[Added - diff]
examples/plcafe/thread2.pl[Added - diff]
examples/prolog/Makefile[Added - diff]
examples/prolog/knight.pl[Added - diff]
examples/prolog/komachi.pl[Added - diff]
examples/prolog/list.pl[Added - diff]
examples/prolog/maketen.pl[Added - diff]
examples/prolog/peg.pl[Added - diff]
examples/prolog/pentomino.pl[Added - diff]
examples/prolog/queens.pl[Added - diff]
src/builtin/Base/PRED_$atom_type0_2.java[Added - diff]
src/builtin/Base/PRED_$begin_exception_1.java[Added - diff]
src/builtin/Base/PRED_$begin_sync_2.java[Added - diff]
src/builtin/Base/PRED_$call_2.java[Added - diff]
src/builtin/Base/PRED_$call_closure_1.java[Added - diff]
src/builtin/Base/PRED_$cut_1.java[Added - diff]
src/builtin/Base/PRED_$end_exception_1.java[Added - diff]
src/builtin/Base/PRED_$end_sync_1.java[Added - diff]
src/builtin/Base/PRED_$erase_1.java[Added - diff]
src/builtin/Base/PRED_$fast_write_1.java[Added - diff]
src/builtin/Base/PRED_$fast_write_2.java[Added - diff]
src/builtin/Base/PRED_$fast_writeq_1.java[Added - diff]
src/builtin/Base/PRED_$fast_writeq_2.java[Added - diff]
src/builtin/Base/PRED_$get_current_B_1.java[Added - diff]
src/builtin/Base/PRED_$get_exception_1.java[Added - diff]
src/builtin/Base/PRED_$get_hash_manager_1.java[Added - diff]
src/builtin/Base/PRED_$get_instances_2.java[Added - diff]
src/builtin/Base/PRED_$get_level_1.java[Added - diff]
src/builtin/Base/PRED_$get_prolog_impl_flag_2.java[Added - diff]
src/builtin/Base/PRED_$get_stream_manager_1.java[Added - diff]
src/builtin/Base/PRED_$hash_adda_3.java[Added - diff]
src/builtin/Base/PRED_$hash_addz_3.java[Added - diff]
src/builtin/Base/PRED_$hash_remove_first_3.java[Added - diff]
src/builtin/Base/PRED_$insert_2.java[Added - diff]
src/builtin/Base/PRED_$neck_cut_0.java[Added - diff]
src/builtin/Base/PRED_$print_stack_trace_1.java[Added - diff]
src/builtin/Base/PRED_$read_token0_3.java[Added - diff]
src/builtin/Base/PRED_$set_exception_1.java[Added - diff]
src/builtin/Base/PRED_$set_prolog_impl_flag_2.java[Added - diff]
src/builtin/Base/PRED_$statistics_2.java[Added - diff]
src/builtin/Base/PRED_$term_hash_2.java[Added - diff]
src/builtin/Base/PRED_$univ_2.java[Added - diff]
src/builtin/Base/PRED_$write_toString_2.java[Added - diff]
src/builtin/Base/PRED_arg_3.java[Added - diff]
src/builtin/Base/PRED_atom_chars_2.java[Added - diff]
src/builtin/Base/PRED_atom_codes_2.java[Added - diff]
src/builtin/Base/PRED_atom_concat_3.java[Added - diff]
src/builtin/Base/PRED_atom_length_2.java[Added - diff]
src/builtin/Base/PRED_char_code_2.java[Added - diff]
src/builtin/Base/PRED_close_2.java[Added - diff]
src/builtin/Base/PRED_current_engine_1.java[Added - diff]
src/builtin/Base/PRED_current_input_1.java[Added - diff]
src/builtin/Base/PRED_current_output_1.java[Added - diff]
src/builtin/Base/PRED_flush_output_1.java[Added - diff]
src/builtin/Base/PRED_functor_3.java[Added - diff]
src/builtin/Base/PRED_get_2.java[Added - diff]
src/builtin/Base/PRED_get_byte_2.java[Added - diff]
src/builtin/Base/PRED_get_char_2.java[Added - diff]
src/builtin/Base/PRED_get_code_2.java[Added - diff]
src/builtin/Base/PRED_halt_1.java[Added - diff]
src/builtin/Base/PRED_hash_clear_1.java[Added - diff]
src/builtin/Base/PRED_hash_contains_key_2.java[Added - diff]
src/builtin/Base/PRED_hash_get_3.java[Added - diff]
src/builtin/Base/PRED_hash_is_empty_1.java[Added - diff]
src/builtin/Base/PRED_hash_keys_2.java[Added - diff]
src/builtin/Base/PRED_hash_put_3.java[Added - diff]
src/builtin/Base/PRED_hash_remove_2.java[Added - diff]
src/builtin/Base/PRED_hash_size_2.java[Added - diff]
src/builtin/Base/PRED_java_constructor0_2.java[Added - diff]
src/builtin/Base/PRED_java_conversion_2.java[Added - diff]
src/builtin/Base/PRED_java_declared_constructor0_2.java[Added - diff]
src/builtin/Base/PRED_java_declared_method0_3.java[Added - diff]
src/builtin/Base/PRED_java_get_declared_field0_3.java[Added - diff]
src/builtin/Base/PRED_java_get_field0_3.java[Added - diff]
src/builtin/Base/PRED_java_method0_3.java[Added - diff]
src/builtin/Base/PRED_java_set_declared_field0_3.java[Added - diff]
src/builtin/Base/PRED_java_set_field0_3.java[Added - diff]
src/builtin/Base/PRED_keysort_2.java[Added - diff]
src/builtin/Base/PRED_new_hash_2.java[Added - diff]
src/builtin/Base/PRED_nl_0.java[Added - diff]
src/builtin/Base/PRED_number_chars_2.java[Added - diff]
src/builtin/Base/PRED_number_codes_2.java[Added - diff]
src/builtin/Base/PRED_open_4.java[Added - diff]
src/builtin/Base/PRED_peek_byte_2.java[Added - diff]
src/builtin/Base/PRED_peek_char_2.java[Added - diff]
src/builtin/Base/PRED_peek_code_2.java[Added - diff]
src/builtin/Base/PRED_put_byte_2.java[Added - diff]
src/builtin/Base/PRED_put_char_2.java[Added - diff]
src/builtin/Base/PRED_put_code_2.java[Added - diff]
src/builtin/Base/PRED_raise_exception_1.java[Added - diff]
src/builtin/Base/PRED_read_line_2.java[Added - diff]
src/builtin/Base/PRED_set_input_1.java[Added - diff]
src/builtin/Base/PRED_set_output_1.java[Added - diff]
src/builtin/Base/PRED_skip_2.java[Added - diff]
src/builtin/Base/PRED_sort_2.java[Added - diff]
src/builtin/Base/PRED_tab_2.java[Added - diff]
src/builtin/Makefile[Added - diff]
src/builtin/builtins.pl[Added - diff]
src/builtin/system.pl[Added - diff]
src/compiler/Compiler.java[Added - diff]
src/compiler/Makefile[Added - diff]
src/compiler/am2j.pl[Added - diff]
src/compiler/am2j.txt[Added - diff]
src/compiler/comp_pl[Added - diff]
src/compiler/operators.pl[Added - diff]
src/compiler/package.html[Added - diff]
src/compiler/pl2am.pl[Added - diff]
src/compiler/pl2am.txt[Added - diff]
src/lang/Arithmetic.java[Added - diff]
src/lang/BlockPredicate.java[Added - diff]
src/lang/BuiltinException.java[Added - diff]
src/lang/CPFStack.java[Added - diff]
src/lang/ClosureTerm.java[Added - diff]
src/lang/DoubleTerm.java[Added - diff]
src/lang/EvaluationException.java[Added - diff]
src/lang/ExistenceException.java[Added - diff]
src/lang/Failure.java[Added - diff]
src/lang/HashtableOfTerm.java[Added - diff]
src/lang/IllegalDomainException.java[Added - diff]
src/lang/IllegalTypeException.java[Added - diff]
src/lang/IntegerTerm.java[Added - diff]
src/lang/InternalDatabase.java[Added - diff]
src/lang/InternalException.java[Added - diff]
src/lang/JavaException.java[Added - diff]
src/lang/JavaObjectTerm.java[Added - diff]
src/lang/JavaPredicate.java[Added - diff]
src/lang/ListTerm.java[Added - diff]
src/lang/Makefile[Added - diff]
src/lang/NumberTerm.java[Added - diff]
src/lang/OutOfLoop.java[Added - diff]
src/lang/OutOfScope.java[Added - diff]
src/lang/PInstantiationException.java[Added - diff]
src/lang/PermissionException.java[Added - diff]
src/lang/Predicate.java[Added - diff]
src/lang/PredicateEncoder.java[Added - diff]
src/lang/Prolog.java[Added - diff]
src/lang/PrologClassLoader.java[Added - diff]
src/lang/PrologControl.java[Added - diff]
src/lang/PrologException.java[Added - diff]
src/lang/PrologMain.java[Added - diff]
src/lang/PushDownList.java[Added - diff]
src/lang/RepresentationException.java[Added - diff]
src/lang/StructureTerm.java[Added - diff]
src/lang/Success.java[Added - diff]
src/lang/SymbolTerm.java[Added - diff]
src/lang/SyntaxException.java[Added - diff]
src/lang/SystemException.java[Added - diff]
src/lang/Term.java[Added - diff]
src/lang/TermException.java[Added - diff]
src/lang/Token.java[Added - diff]
src/lang/Token.java.bak[Added - diff]
src/lang/Trail.java[Added - diff]
src/lang/Undoable.java[Added - diff]
src/lang/VariableTerm.java[Added - diff]
src/lang/package.html[Added - diff]

306 files changed

tree: caf9cb7f6d9ec4801399290e114c03400acd5307