GNU 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. Replace the <base> by the test program directory. Measurement of the garbage collection time is not possible. For compatibility with our test cases we define the predicates ins/2, label/1 and all_different/2.

For the GNU Prolog harness there are the following sources: