Prolog benchmarks (`van Roy' set) - View it on GitHub