Mercury Sample Programs

This directory contains some example Mercury programs.

The solutions sub-directory contains some examples of the use of nondeterminism, showing how a Mercury program can compute

for a query which has more than one logically correct answer.

The concurrency sub-directory contains examples of how to use Mercury’s concurrency interface, i.e. using threads in Mercury programs.

There are also some sub-directories which contain examples of multi-module Mercury programs: