Prolog Prolog

Open-source Prolog projects categorized as Prolog
Edit details
Topics: logic-programming Interpreter Constraints Compiler Python
The modern identity platform for B2B SaaS
The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
workos.com
Sponsored

Top 19 Prolog Prolog Projects

  • logtalk3

    Logtalk - declarative object-oriented logic programming language

    • Project mention: Logtalk portable solution for the Advent of Code 2023 Day 8 problem | /r/prolog | 2023-12-09

  • tar.pl

    tar creator+extractor in ~100 lines of prolog

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

    InfluxDB logo

  • ciao

    Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.

  • clpz

    Constraint Logic Programming over Integers

    • Project mention: Logic programming is overrated, at least for logic puzzles (2013) | news.ycombinator.com | 2023-06-01

    As pointed out in the comments in the article, these kinds of logic puzzles are easier to solve using constraint programming than "regular" logic programming.

    For example, see the solution to the Zebra Puzzle here: https://www.metalevel.at/prolog/puzzles which uses CLPZ[^1].

    [^1]: https://github.com/triska/clpz

  • simply-logical

    Online, interactive edition of the "Simply Logical" Prolog textbook

    • Project mention: Differences Between miniKanren and Prolog | news.ycombinator.com | 2024-01-23

    https://github.com/simply-logical/simply-logical

  • RTEC

    RTEC is an Event Calculus implementation optimised for stream reasoning

  • sparqlprog

    logic programming with SPARQL

  • WorkOS

    The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

    WorkOS logo

  • debug_adapter

    Debug Adapter Protocol (DAP) implementation for SWI-Prolog

  • data-logic

    Expert system with deductive querying and verification of constraints expressed in natural language

  • void-pi

    Void Linux installer implemented in GNU Prolog.

    • Project mention: Void Linux installer implemented in GNU Prolog. | /r/prolog | 2023-12-06

  • prolog-checkers

    A Player vs AI game of checkers implemented in Prolog

  • constrained.pl

    Provides generalized versions of common Prolog predicates using constraints to make them more flexible and declarative.

    • Project mention: Constrained.pl: Prolog predicates using constraints to make them more flexible | news.ycombinator.com | 2023-09-29

  • war-crimes-explorer

    Interactive in-browser learning about genocide, war crimes, crimes against humanity, and aggression.

  • advent-of-code-2022

  • FlorenceBot

    A fully interactive domain-specific chatbot implemented using Prolog and PySwip.

  • SSI

    A Prolog Compiler written in Prolog. (by luciangreen)

  • Lucian CI/CD

    Lucian CI/CD

    • Project mention: Lucian CI/CD VS gitl - a user suggested alternative | libhunt.com/r/luciancicd | 2024-02-27

  • Prolog-to-List-Prolog

    Converts Prolog algorithms to List Prolog algorithms

  • Philosophy

    List of Philosophy Algorithms (by luciangreen)

  • SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo
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).

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 logtalk3 394
2 tar.pl 255
3 ciao 243
4 clpz 172
5 simply-logical 107
6 RTEC 78
7 sparqlprog 45
8 debug_adapter 19
9 data-logic 16
10 void-pi 11
11 prolog-checkers 10
12 constrained.pl 6
13 war-crimes-explorer 4
14 advent-of-code-2022 3
15 FlorenceBot 2
16 SSI 2
17 Lucian CI/CD 2
18 Prolog-to-List-Prolog 0
19 Philosophy 0

Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com