Explore projects
-
-
-
Backup repository for the "Advanced Programming" course.
Updated -
-
-
-
Library to access profile data of the back-end Prolog system of PAKCS
Updated -
Updated
-
-
-
-
-
-
Library with to represent strongly encapsulated non-deterministic computations as a search tree
Updated -
-
Updated
-
Updated
-
Updated
-
Library to access profile data of the back-end Prolog system of PAKCS
Updated -
Updated