B-Prolog Harness

We find a Prolog text that will consult the common file, the test programs and further define the predicate for the elapsed runtime and the garbage collection time. Replace the <base> by the test program directory. For compatibility with our test cases we define the predicates ins/2, label/1 and all_different/2.

For the B-Prolog harness there are the following sources:

Comments