Path Lines of Code README.md 14 examples/benchmarks/bench_util.pl 40 examples/benchmarks/brahme/bench_util.pl 40 examples/benchmarks/brahme/plbench.in 3 examples/benchmarks/brahme/plbench.pl 43 examples/benchmarks/dobry/bench_util.pl 40 examples/benchmarks/dobry/dobry.in 11 examples/benchmarks/dobry/dobry.pl 369 examples/benchmarks/ecrc/bench_1_1.in 1 examples/benchmarks/ecrc/bench_1_1.pl 241 examples/benchmarks/ecrc/bench_1_2.in 5 examples/benchmarks/ecrc/bench_1_2.pl 9 examples/benchmarks/ecrc/bench_1_3.in 2 examples/benchmarks/ecrc/bench_1_3.pl 72 examples/benchmarks/ecrc/bench_1_4.in 1 examples/benchmarks/ecrc/bench_1_4.pl 80 examples/benchmarks/ecrc/bench_1_5.in 5 examples/benchmarks/ecrc/bench_1_5.pl 416 examples/benchmarks/ecrc/bench_1_6.in 1 examples/benchmarks/ecrc/bench_1_6.pl 92 examples/benchmarks/ecrc/bench_1_7.in 1 examples/benchmarks/ecrc/bench_1_7.pl 56 examples/benchmarks/ecrc/bench_2.in 10 examples/benchmarks/ecrc/bench_2.pl 441 examples/benchmarks/holmer/bench_util.pl 40 examples/benchmarks/holmer/boyer.in 1 examples/benchmarks/holmer/boyer.pl 364 examples/benchmarks/holmer/browse.in 1 examples/benchmarks/holmer/browse.pl 85 examples/benchmarks/holmer/chat_parser.in 1 examples/benchmarks/holmer/chat_parser.pl 652 examples/benchmarks/holmer/crypt.in 1 examples/benchmarks/holmer/crypt.pl 74 examples/benchmarks/holmer/divide10.in 1 examples/benchmarks/holmer/divide10.pl 33 examples/benchmarks/holmer/fast_mu.in 1 examples/benchmarks/holmer/fast_mu.pl 91 examples/benchmarks/holmer/flatten.in 1 examples/benchmarks/holmer/flatten.pl 162 examples/benchmarks/holmer/log10.in 1 examples/benchmarks/holmer/log10.pl 33 examples/benchmarks/holmer/meta_qsort.in 1 examples/benchmarks/holmer/meta_qsort.pl 93 examples/benchmarks/holmer/mu.in 1 examples/benchmarks/holmer/mu.pl 33 examples/benchmarks/holmer/nreverse.in 1 examples/benchmarks/holmer/nreverse.pl 15 examples/benchmarks/holmer/ops8.in 1 examples/benchmarks/holmer/ops8.pl 33 examples/benchmarks/holmer/poly_10.in 1 examples/benchmarks/holmer/poly_10.pl 83 examples/benchmarks/holmer/prover.in 1 examples/benchmarks/holmer/prover.pl 6 examples/benchmarks/holmer/qsort.in 1 examples/benchmarks/holmer/qsort.pl 24 examples/benchmarks/holmer/queens_8.in 1 examples/benchmarks/holmer/queens_8.pl 54 examples/benchmarks/holmer/query.in 1 examples/benchmarks/holmer/query.pl 74 examples/benchmarks/holmer/reducer.in 1 examples/benchmarks/holmer/reducer.pl 312 examples/benchmarks/holmer/sdda.in 1 examples/benchmarks/holmer/sdda.pl 269 examples/benchmarks/holmer/serialise.in 1 examples/benchmarks/holmer/serialise.pl 31 examples/benchmarks/holmer/simple_analyzer.in 1 examples/benchmarks/holmer/simple_analyzer.pl 337 examples/benchmarks/holmer/tak.in 1 examples/benchmarks/holmer/tak.pl 21 examples/benchmarks/holmer/times10.in 1 examples/benchmarks/holmer/times10.pl 33 examples/benchmarks/holmer/unify.in 1 examples/benchmarks/holmer/unify.pl 125 examples/benchmarks/holmer/zebra.in 1 examples/benchmarks/holmer/zebra.pl 42 examples/benchmarks/minerva/bench_util.pl 40 examples/benchmarks/minerva/mrp_and_mrs.in 1 examples/benchmarks/minerva/mrp_and_mrs.pl 7 examples/benchmarks/pereira/pereira.in 1 examples/benchmarks/pereira/pereira.pl 1740 examples/benchmarks/portland/bench_util.pl 40 examples/benchmarks/portland/bintree.in 1 examples/benchmarks/portland/bintree.pl 33 examples/benchmarks/portland/cd.in 1 examples/benchmarks/portland/cd.pl 7 examples/benchmarks/portland/genlist.in 1 examples/benchmarks/portland/genlist.pl 13 examples/benchmarks/portland/hanoi.in 1 examples/benchmarks/portland/hanoi.pl 5 examples/benchmarks/portland/loop.in 1 examples/benchmarks/portland/loop.pl 15 examples/benchmarks/portland/memfill.in 1 examples/benchmarks/portland/memfill.pl 14 examples/benchmarks/portland/nairev.in 1 examples/benchmarks/portland/nairev.pl 11 examples/benchmarks/portland/polyeval.in 1 examples/benchmarks/portland/polyeval.pl 16 examples/benchmarks/portland/primes.in 1 examples/benchmarks/portland/primes.pl 27 examples/benchmarks/portland/snairev.in 1 examples/benchmarks/portland/snairev.pl 11 examples/benchmarks/portland/sort.in 1 examples/benchmarks/portland/sort.pl 27 examples/benchmarks/quintus/bench.in 1 examples/benchmarks/quintus/bench.pl 153 examples/benchmarks/src/bench.pl 154 examples/benchmarks/src/path.pro 56 examples/benchmarks/xprolog/bench_util.pl 40 examples/benchmarks/xprolog/path.in 1 examples/benchmarks/xprolog/path.pl 1 examples/java/Knight.java 131 examples/java/Peg.java 167 examples/java/Pentomino.java 122 examples/java/PrologControlPanel.java 156 examples/java/PrologFrame.java 36 examples/java/Queens.java 121 examples/java/knight.pl 142 examples/java/peg.pl 84 examples/java/pentomino.pl 1253 examples/java/queens.pl 48 examples/prolog/knight.pl 142 examples/prolog/komachi.pl 52 examples/prolog/list.pl 11 examples/prolog/maketen.pl 189 examples/prolog/peg.pl 84 examples/prolog/pentomino.pl 1253 examples/prolog/queens.pl 48 fake_pom_deploy.xml 21 fake_pom_install.xml 21