We need some benchmarks that are not drastically different (in terms of style) between Cadmium, Prolog, and hopefully Mercury to catch performance bottlenecks. Also, we need some regression tests to increase our confidence on the correctness of the engine.
We need some benchmarks that are not drastically different (in terms of style) between Cadmium, Prolog, and hopefully Mercury to catch performance bottlenecks. Also, we need some regression tests to increase our confidence on the correctness of the engine.