data-logic
ciao
data-logic | ciao | |
---|---|---|
1 | 3 | |
16 | 243 | |
- | 4.1% | |
10.0 | 8.8 | |
over 1 year ago | about 2 months ago | |
Prolog | Prolog | |
- | GNU Lesser General Public License v3.0 only |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
data-logic
-
Metaprogramming in Prolog
I'm trying to move beyond beginner stage in Prolog. I started skimming through The Art of Prolog and found some code in GitHub doing term rewriting.
ciao
- PHP: Prolog Home Page
-
An embeddable Prolog scripting language for Go
Some Prolog systems (like Ciao Prolog https://github.com/ciao-lang/ciao/blob/master/core/lib/forei...) implement bidirectional foreign interfaces. Once you have C bindings it is easy to write bindings from Rust, C++, or any other language (that can interoperate with C). I give here some details about Ciao because this is the system I know better but it should be similar for other popular Prolog implementations.
The tradeoffs depend on the complexity of the Prolog code and your needs for performance and features: pure LP, Prolog (search+unification+cut), garbage collection, dynamic database updates, constraint domains, etc. The Ciao Prolog engine is around 300-400KB. Adding a few libraries, compiler, etc. it goes to 2MB. Naive Prolog systems can be one order of magnitude smaller at the cost of sacrificing ISO compatibility, performance, etc. Note that "performance" can be very misleading. Some Prolog programs may run particularly fast in some Prolog system and very badly in others.
- Keeping POWER relevant in the open source world
What are some alternatives?
tar.pl - tar creator+extractor in ~100 lines of prolog
prolog - The only reasonable scripting engine for Go.
sparqlprog - logic programming with SPARQL
Prolog-to-List-Prolog - Converts Prolog algorithms to List Prolog algorithms
logtalk3 - Logtalk - declarative object-oriented logic programming language
trealla-js - Trealla Prolog for the web
war-crimes-explorer - Interactive in-browser learning about genocide, war crimes, crimes against humanity, and aggression.
go - Trealla Prolog embedded in Go using WASM
RTEC - RTEC is an Event Calculus implementation optimised for stream reasoning
librealsense - Intel® RealSense™ SDK
php - Prolog Home Page
Gleemin - A Magic: the Gathering™ expert system