This directory contains some simple examples designed to demostrate the
syntax and operational behavior of the core logical language.

