This directory contains the benchmarks used in the initial
implementation of the Prolog->Curry translator described
in the papers presented at ICLP 2022 and TPLP 2022.