Explore projects

Backup repository for the "Advanced Programming" course.

Libraries with operations to strongly encapsulate non-deterministic computations

Library to deal with a global association between strings

Base libraries for Curry systems

Library to support reading/writing binary data

A library to implement Constraint Handling Rules in Curry

CLP libraries for PAKCS

A library with a Boolean Constraint Solver based on BDDs.

The base libraries of Curry distributions, like PAKCS or KiCS2

A compiler and run-time system to compile and run Curry programs as Go programs

Dasselbe, aber mit prolog-tests.

A script to call SWI-Prolog with complete search

Library for handling global entities in programs

Library for handling global variables in PAKCS

PAKCS: The Portland Aachen Kiel Curry System

PAKCS: The Portland Aachen Kiel Curry System