| Tag: prolog 4 packages with this tag | ||
| « Back to VersTracker | All Categories | All Tags | Related: logic-programming ai compiler constraint-solving logtalk oop declarative rust developer-tools interpreter | ||
| Package | Description | Version |
|---|---|---|
| gnu-prolog ☆ formula | Prolog compiler with constraint solving | 1.5.0 |
| logtalk ☆ formula | Declarative object-oriented logic programming language | 3.102.0 |
| scryer-prolog ☆ formula | Modern ISO Prolog implementation written mostly in Rust | |
| swi-prolog ☆ formula | ISO/Edinburgh-style Prolog interpreter | |