# CiaoPP examples from the assertions tutorial 

This directory contains some verification examples used in the
"Examples of types, modes, and resources in CiaoPP" tutorial and the
paper "Types, modes and so much more - the Prolog way", in the
collection "Prolog - The Next 50 Years", LNCS, 13900, pages 23-37,
Springer, July 2023.

