Philosophy
ciao
| Philosophy | ciao | |
|---|---|---|
| 1 | 3 | |
| 0 | 243 | |
| - | 2.1% | |
| 8.7 | 8.8 | |
| 19 days ago | about 2 months ago | |
| Prolog | Prolog | |
| BSD 3-clause "New" or "Revised" License | 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.
Philosophy
-
Access your computer's files from your phone
Download the Philosophy repository from https://github.com/luciangreen/Philosophy.
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?
RTEC - RTEC is an Event Calculus implementation optimised for stream reasoning
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
clpz - Constraint Logic Programming over Integers
go - Trealla Prolog embedded in Go using WASM
tar.pl - tar creator+extractor in ~100 lines of prolog
librealsense - Intel® RealSense™ SDK
php - Prolog Home Page
Gleemin - A Magic: the Gathering™ expert system