The production and evaluation of a set of prolog benchmarks /
Wilk, P. F.
University of Edinburgh.Artificial Intelligence Applications Institute.
Edinburgh : Artificial Intelligence Applications Institute, University of Edinburgh,
1986.