Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 11 Constraints Prolog Open Source Projects

Open source projects categorized as Constraints Prolog
Categories > User Interface > Constraints
The Power Of Prolog ⭐ 1,130
Introduction to modern Prolog
most recent commit 5 months ago
Elpi ⭐ 248
Embeddable Lambda Prolog Interpreter
most recent commit 3 months ago
Ciao ⭐ 214
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
most recent commit 9 months ago
Clpz ⭐ 168
Constraint Logic Programming over Integers
most recent commit 3 months ago
Clpfd ⭐ 102
Constraint Logic Programming over Finite Domains
most recent commit 4 years ago
Clpb ⭐ 31
Boolean Constraint Solving in Prolog
most recent commit 7 months ago
Picat ⭐ 17
My unofficial picat http://picat-lang.org/ repository
most recent commit 3 months ago
Data Logic ⭐ 9
Expert system with deductive querying and verification of constraints expressed in natural language
most recent commit a year ago
Packages Clpqr ⭐ 7
CLP(Q,R): constraints over rational numbers and floats by Leslie de Koninck
most recent commit 4 months ago
Grapher ⭐ 6
Graph analysis of Go dependencies
total releases 1most recent commit 4 years ago
Packages Inclpr ⭐ 6
Constraint solver for nonlinear (polynomial) constraints over reals
most recent commit 4 months ago
Popular User Interface Categories
Theme
Flutter
Animation
Redux
Bindings
Gui
Material
Visualization
Layout
Qt
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.