Prolog benchmarks (`van Roy' set)