The Simplicity of Prolog

1. swiplwebtut

   1 3 114 10.0 Prolog

   A tutorial for the swipl web framework

   

2. InfluxDB

   www.influxdata.com featured

   InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.

   

3. logtalk3

   2 60 455 9.9 Prolog

   Logtalk - declarative object-oriented logic programming language

   

4. postgresql-prolog

   3 2 98 4.3 Prolog

   A Prolog library to connect to PostgreSQL databases

   

5. wambook

   4 2 62 - PostScript

   Warren's Abstract Machine: A Tutorial Reconstruction by Hassan Ait-Kaci

   

   I started learning prolog just a few months ago, when I stumbled upon https://linusakesson.net/dialog/ which is a spin on prolog optimized for writing interactive fiction.

   As a sweet and short tutorial I can recommend these slides: https://www.cs.toronto.edu/~hojjat/384w10/

   If you want to dive into how Prolog works under the hood I can recommend https://github.com/a-yiorgos/wambook

   I terms of Prolog implementations I played a bit with https://www.scryer.pl but it still feels rough around the edges.

   SWI-Prolog is the most popular and most batteries included Prolog: https://www.swi-prolog.org

6. scryer-prolog

   5 64 2,261 9.2 Rust

   A modern Prolog implementation written mostly in Rust.

   

   No, unless you count cancer research[1], particle physics experiments, and government funding allocations[3].

   [1]: https://dcnorris.github.io/precautionary/index.html

   [2]: https://github.com/mthom/scryer-prolog/discussions/2441

   [3]: https://link.springer.com/chapter/10.1007/978-981-97-2300-3_...

   Regarding how, check out Power of Prolog on YouTube.

7. grencez.dev

   6 1 2 3.2 Common Lisp

   What I did, documented for next time.

   

   https://github.com/grencez/grencez.dev/blob/trunk/2015/z3-so...

8. codeq

   7 4 547 0.0 Clojure

   Creates Datomic dbs from git repos

   

   no.

   https://github.com/Datomic/codeq

   last update to that repo was 12 years ago.

   it's JDK which I find unappealing.

   also, how close is it to Datalog?

   https://github.com/gns24/pydatomic : last update 11 years ago.

   and that's representative of pretty much anything regarding Datalog.

   So, I'll just stick to Prolog then.

   ---

   have you?

   would you recommend it?

9. Stream

   getstream.io featured

   Stream - Scalable APIs for Chat, Feeds, Moderation, & Video. Stream helps developers build engaging apps that scale to millions with performant and flexible Chat, Feeds, Moderation, and Video APIs and SDKs powered by a global edge network and enterprise-grade infrastructure.

   

10. pydatomic

    8 1 89 - Python

    Python library for accessing the datomic DBMS

    

    no.

    https://github.com/Datomic/codeq

    last update to that repo was 12 years ago.

    it's JDK which I find unappealing.

    also, how close is it to Datalog?

    https://github.com/gns24/pydatomic : last update 11 years ago.

    and that's representative of pretty much anything regarding Datalog.

    So, I'll just stick to Prolog then.

    ---

    have you?

    would you recommend it?

11. void-pi

    9 3 31 6.9 Prolog

    Void Linux installer implemented in GNU Prolog.

    

Suggest a related project