currylang/prolog2curry repository overview

This repository contains a translator which transforms pure Prolog programs into Curry⁠ programs.

⁠How to use the docker image:

In order to translate a pure Prolog program to Curry, the docker image is simply invoked with passing the Prolog program on stdin, e.g.,

> cat PROLOGFILE | docker run -i --rm currylang/prolog2curry

The informational output can be suppressed with option -q:

> cat PROLOGFILE | docker run -i --rm currylang/prolog2curry -q

More details from the translation tools can be shown with option -v3:

> cat PROLOGFILE | docker run -i --rm currylang/prolog2curry -v3

The transformation is performed in several steps where the failure behavior of the Prolog programs is analyzed and taken into account to ensure a semantically correct program transformation. Details about the transformation implemented by this docker image can be found in:

M. Hanus: Improving Logic Programs by Adding Functions⁠, Proc. of the 34th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2024), Springer LNCS 14919, pp. 27-44, 2024