Uploaded at Jan 31 17:58:29 2022 (UTC)
Succesfully tested at Feb 25 04:40:52 2024

Curry Package prolog

prolog - Libraries to represent Prolog programs in Curry

This package contains libraries with data types to represent Prolog programs in Curry and show them in standard Prolog syntax.


Download

Checkout with CPM:
cypm checkout prolog 3.0.0
Package source:
prolog-3.0.0.tar.gz [browse]
Source repository:
https://git.ps.informatik.uni-kiel.de/curry-packages/prolog.git