Google Git
Sign in
gerrit / prolog-cafe / 199d14f3309e089912c2aabde0391a61e2bdad02 / . / examples / benchmarks / holmer
tree: f06c39c45b78ac409c0ba73a372df8f408673716 [path history] [tgz]
  1. bench_util.pl
  2. boyer.in
  3. boyer.pl
  4. browse.in
  5. browse.pl
  6. chat_parser.in
  7. chat_parser.pl
  8. crypt.in
  9. crypt.pl
  10. divide10.in
  11. divide10.pl
  12. fast_mu.in
  13. fast_mu.pl
  14. flatten.in
  15. flatten.pl
  16. log10.in
  17. log10.pl
  18. Makefile
  19. meta_qsort.in
  20. meta_qsort.pl
  21. mu.in
  22. mu.pl
  23. nand.pl.bak
  24. nreverse.in
  25. nreverse.pl
  26. ops8.in
  27. ops8.pl
  28. poly_10.in
  29. poly_10.pl
  30. prover.in
  31. prover.pl
  32. qsort.in
  33. qsort.pl
  34. queens_8.in
  35. queens_8.pl
  36. query.in
  37. query.pl
  38. README
  39. reducer.in
  40. reducer.pl
  41. sdda.in
  42. sdda.pl
  43. serialise.in
  44. serialise.pl
  45. simple_analyzer.in
  46. simple_analyzer.pl
  47. tak.in
  48. tak.pl
  49. times10.in
  50. times10.pl
  51. unify.in
  52. unify.pl
  53. zebra.in
  54. zebra.pl