Update: I’m now considering using this other programs for testing too.
Inductive Logic Programming system Aleph (link)
- a branch of machine learning that synthesises logic programs using other logic programs as input.
- Used by Jan Wielemaker (SWI-Prolog) to show speedup with threads on SMP systems.
Benchmark suite by Fernando Pereira (link)
- Used by Jan Wielemaker (SWI-Prolog) for comparing the single threaded to the multi-threaded version.
- Its purpose is to try to identify strengths and weaknesses in the basic engine of a Prolog system.
- “Also, I must say that I have relatively little faith on small benchmark programs. I find that performance (both time and space) on substantial programs, reliability, adherence to de facto standards and ease of use are far more important in practice. I’ve tried several Prolog systems that performed very well on small benchmarks (including mine), but that failed badly on one or more of these criteria.“
Dining Philosophers (link)
- Classic multi-process synchronization problem,
- It’s a toy program,
- More to do with concurrency that distributed/parallel computing.
Where it will be speedup for sure:
1) serialized program that now becames distributed.
2) multi-threaded program that distributed executes faster.
