This directory contains the benchmarks used in the improved
implementation of the Prolog->Curry translator described
in the paper presented at LOPSTR 2024.