Projects | Open Source Science

Projects

Updated 6 months ago

clingo • Rank 22.6 • Science 36%

🦉 A grounder and solver for logic programs.

answer-set-programming declarative-programming logic-programming

Updated 5 months ago

https://github.com/algebraicjulia/algebraicrewriting.jl • Rank 6.2 • Science 46%

Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.

category-theory declarative-programming rewrite-systems

Updated 6 months ago

logtalk3 • Rank 8.5 • Science 26%

Logtalk - declarative object-oriented logic programming language

declarative-language declarative-programming logic-programming logtalk oop prolog