|
« Back to VersTracker
|
All Categories
|
All Tags
|
Related:
ai
prolog
constraint-solving
declarative
compiler
asp
optimization
logtalk
oop
functional-programming
|
| Package |
Description |
Version |
|
clingo
☆
formula
|
ASP system to ground and solve logic programs |
5.8.0 |
|
gnu-prolog
☆
formula
|
Prolog compiler with constraint solving |
1.5.0 |
|
logtalk
☆
formula
|
Declarative object-oriented logic programming language |
3.102.0 |
|
mercury
☆
formula
|
Logic/functional programming language |
|
|
picat
☆
formula
|
Simple, and yet powerful, logic-based multi-paradigm programming language |
3.9.12 |
|
scryer-prolog
☆
formula
|
Modern ISO Prolog implementation written mostly in Rust |
|
|
swi-prolog
☆
formula
|
ISO/Edinburgh-style Prolog interpreter |
|