🤔 A grounder and solver for logic programs.
-
Updated
Jun 28, 2024 - C++
Declarative programming is a programming paradigm characterized by describing the target state (or even just the problem itself in some cases) as opposed to specifying the concrete steps needed to reach that target state. The specific steps usually then get generated automatically at Compile Time.
🤔 A grounder and solver for logic programs.
A small C++17 library meant to simplify the composition of nullable types in a generic, type-safe, and declarative way.
A small C++17 library inspired by Category Theory.
This repository contains code for KOM200
Declarative scripting language experiment