swi-prolog

Open-source projects categorized as swi-prolog
Edit details
Language: + Prolog + C + Python
Topics: Prolog logic-programming Natural Language Processing expert-systems Semantic Web
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

Top 5 swi-prolog Open-Source Projects

  • swipl-devel

    SWI-Prolog Main development repository

    • Project mention: If given a list of properties/definitions and relationship between them, could a machine come up with (mostly senseless, but) true implications? | /r/math | 2023-07-11

    Still, there are many useful tools based on these ideas, used by programmers and mathematicians alike. What you describe sounds rather like Datalog (e.g. Soufflé Datalog), where you supply some rules and an initial fact, and the system repeatedly expands out the set of facts until nothing new can be derived. (This has to be finite, if you want to get anywhere.) In Prolog (e.g. SWI Prolog) you also supply a set of rules and facts, but instead of a fact as your starting point, you give a query containing some unknown variables, and the system tries to find an assignment of the variables that proves the query. And finally there is a rich array of theorem provers and proof assistants such as Agda, Coq, Lean, and Twelf, which can all be used to help check your reasoning or explore new ideas.

  • pyswip

    PySwip is a Python - SWI-Prolog bridge enabling to query SWI-Prolog in your Python programs. It features an (incomplete) SWI-Prolog foreign language interface, a utility class that makes it easy querying with Prolog and also a Pythonic interface.

    • Project mention: Find Legal Moves in Brass Birmingham with Datalog | news.ycombinator.com | 2023-11-21

  • 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

  • APE

    Parser for Attempto Controlled English (ACE) (by Attempto)

  • sparqlprog

    logic programming with SPARQL

  • debug_adapter

    Debug Adapter Protocol (DAP) implementation for SWI-Prolog

  • 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).

swi-prolog related posts

  • Find Legal Moves in Brass Birmingham with Datalog

    5 projects | news.ycombinator.com | 21 Nov 2023

  • Scryer Prolog

    1 project | news.ycombinator.com | 4 Feb 2023

  • Not all possible results of a simple predicate given by backtracking.

    2 projects | /r/prolog | 6 Dec 2022

  • Looking for suggestions of interesting language to learn

    2 projects | /r/learnprogramming | 29 Aug 2022

  • Could this code calculating primes be much more optimized?

    5 projects | /r/prolog | 9 May 2022

  • Anyone got lots of trivial DCG examples?

    5 projects | /r/prolog | 8 Apr 2022

  • Is Datalog a good language for authorization?

    4 projects | news.ycombinator.com | 19 Feb 2022
  • A note from our sponsor - SaaSHub
    www.saashub.com | 15 May 2024
    SaaSHub helps you find the best software and product alternatives Learn more →

Index

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

Project Stars
1 swipl-devel 903
2 pyswip 444
3 APE 181
4 sparqlprog 45
5 debug_adapter 19

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