Paul Bone

About Me

Declarative programming, programming language implementation, parallelism and concurrency. I am a talented software engineer and computer scientist. My interests include programming languages, declarative programming, programming language implementation, parallelism and concurrency. My Ph.D. thesis was on Automatic Parallelisation for Mercury.



I have been contributing to the Open Source Mercury programming language since 2008. Mercury is a declarativly pure logic/functional language. I started the Plasma programming language in mid-2015. Plasma is also a pure declrative language, but its goal is to find the comprimise between declrative and imperative programming.

Recent blog posts

— Conversation with William Byrd
I had an interesting chat with William Byrd about logic programming, relational programming and parallelism.

See all blog posts.


  1. L. Langevine and P. Bone, "The Logic of Insurance: an Ontology-Centric Pricing Application" The 13th International Semantic Web Conference, Industry Track, Riva del Garda, Italy, October 19-23, 2014. [PDF]
  2. P. Bone, “Automatic Parallelisation for Mercury” PhD thesis, Department of Computing and Information Systems, The University of Melbourne, Australia, 2012. [PDF] [University Library] [LaTeX Source]
  3. P. Bone, Z. Somogyi, and P. Schachte, “Controlling Loops in Parallel Mercury Code” Declarative Aspects and Applications of Multicore Programming, Philadelphia, PA, USA, 2012. [PDF] [Slides] [ACM]
  4. P. Bone and Z. Somogyi, “Profiling parallel Mercury programs with ThreadScope” 21st Workshop on Logic-based methods in Programming Environments (WLPE 2011). pp. 32–46, 2011. [PDF] [Slides] [arXiv]
  5. P. Bone, Z. Somogyi, and P. Schachte, “Estimating the overlap between dependent computations for automatic parallelization” Theory and Practice of Logic Programming, 27th Int’l. Conference on Logic Programming (ICLP’11) Special Issue, vol. 11, no. (4–5), pp. 575–587, 2011. [PDF] [Slides] [TLP] [arXiv]
  6. P. Bone, “Calculating likely Parallelism within Dependant Conjunctions for Logic Programs,” University of Melbourne, Melbourne, Australia, Honours Thesis, Oct. 2008. [PDF]