Prolog Prolog

Open-source Prolog projects categorized as Prolog | Edit details

Top 5 Prolog Prolog Projects

  • GitHub repo terminusdb

    TerminusDB is an open source knowledge graph and document store. Use it to build versioned data products.

    Project mention: Knowledge Graphs | news.ycombinator.com | 2021-10-22

    We have a immutable chain structure in TerminusDB which allows for straightforward uncoordinated multi-read access or multi-version concurrency control. This approach also makes branching simple to implement. Any number of new layers can point to the same former parent layer.

    You might like this white paper (but for reasons above you will have to overlook some of the OWL information): https://github.com/terminusdb/terminusdb/blob/dev/docs/white...

  • GitHub repo logtalk3

    Logtalk - declarative object-oriented logic programming language

    Project mention: Logtalk 3.52.0 released | reddit.com/r/prolog | 2021-12-07
  • Nanos

    Run Linux Software Faster and Safer than Linux with Unikernels.

  • GitHub repo clpz

    Constraint Logic Programming over Integers

    Project mention: What is the difference between constraint solving and constraints programming? | reddit.com/r/compsci | 2021-11-03

    Constraint programming I guess is when one uses a prolog library such as: https://github.com/triska/clpz

  • GitHub repo sparqlprog

    logic programming with SPARQL

    Project mention: Is There A Framework For Replacing SQL With Prolog/Datalog? | reddit.com/r/prolog | 2021-01-07

    Then I found this for the second part of the bridge. https://github.com/cmungall/sparqlprog.

  • GitHub repo prolog-checkers

    A Player vs AI game of checkers implemented in Prolog

    Project mention: Prolog Chess AI, Alpha Beta Pruning | reddit.com/r/prolog | 2021-02-26

    For my AI, I am mainly looking at the book "Prolog programming for artificial intelligence" by Ivan Bratko(3rd Edition). There he shows an implementation of the alpha-beta algorithm. I am also looking at the Prolog-Code someone posted on Github, where he implemented the same Code fpr his Checkersgame. (https://github.com/migafgarcia/prolog-checkers/blob/master/checkers.pl)

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020). The latest post mention was on 2021-12-07.

Prolog Prolog related posts

Index

What are some of the best open-source Prolog projects in Prolog? This list will help you:

Project Stars
1 terminusdb 1,596
2 logtalk3 270
3 clpz 113
4 sparqlprog 26
5 prolog-checkers 8
Find remote jobs at our new job board 99remotejobs.com. There are 31 new remote jobs listed recently.
Are you hiring? Post a new remote job listing for free.
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com