{"id":13560537,"url":"https://github.com/SWI-Prolog/swipl-devel","last_synced_at":"2025-04-03T16:30:51.020Z","repository":{"id":14794712,"uuid":"17516793","full_name":"SWI-Prolog/swipl-devel","owner":"SWI-Prolog","description":"SWI-Prolog Main development repository","archived":false,"fork":false,"pushed_at":"2025-03-31T10:04:56.000Z","size":102012,"stargazers_count":1042,"open_issues_count":136,"forks_count":181,"subscribers_count":51,"default_branch":"master","last_synced_at":"2025-03-31T11:22:27.508Z","etag":null,"topics":["logic-programming","prolog","swi-prolog"],"latest_commit_sha":null,"homepage":"http://www.swi-prolog.org","language":"C","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/SWI-Prolog.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":".github/FUNDING.yml","license":"LICENSE","code_of_conduct":"Code-of-Conduct.md","threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null},"funding":{"github":"SWI-Prolog","patreon":null,"open_collective":null,"ko_fi":null,"tidelift":null,"community_bridge":null,"liberapay":null,"issuehunt":null,"otechie":null,"lfx_crowdfunding":null,"custom":null}},"created_at":"2014-03-07T14:43:14.000Z","updated_at":"2025-03-31T10:05:01.000Z","dependencies_parsed_at":"2023-01-16T20:15:48.735Z","dependency_job_id":"2c827ca1-5885-4ed5-8be8-21d624dceaf7","html_url":"https://github.com/SWI-Prolog/swipl-devel","commit_stats":{"total_commits":29261,"total_committers":148,"mean_commits":"197.70945945945945","dds":0.6759167492566898,"last_synced_commit":"1f19dea0ca08d668763fd034eda84faf6f293303"},"previous_names":[],"tags_count":758,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/SWI-Prolog%2Fswipl-devel","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/SWI-Prolog%2Fswipl-devel/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/SWI-Prolog%2Fswipl-devel/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/SWI-Prolog%2Fswipl-devel/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/SWI-Prolog","download_url":"https://codeload.github.com/SWI-Prolog/swipl-devel/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":247036898,"owners_count":20873043,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["logic-programming","prolog","swi-prolog"],"created_at":"2024-08-01T13:00:46.140Z","updated_at":"2025-04-03T16:30:49.348Z","avatar_url":"https://github.com/SWI-Prolog.png","language":"C","funding_links":["https://github.com/sponsors/SWI-Prolog"],"categories":["C"],"sub_categories":[],"readme":"[![CI](https://github.com/SWI-Prolog/swipl-devel/actions/workflows/ci.yml/badge.svg?branch=master)](https://github.com/SWI-Prolog/swipl-devel/actions/workflows/ci.yml)\n\n# SWI-Prolog: A comprehensive Prolog implementation\n\nSWI-Prolog is an open  source  (BSD-2)   implementation  of  the  Prolog\nlanguage with many extensions. It is implemented   in C (version 11) and\nProlog and is available for many platforms (Linux, practically any POSIX\nlike system, MacOS, Windows). All  CPUs   supported  by Debian Linux are\nsupported. A prototype running  in  your   browser  based  on  WASM (Web\nAssembly) is available.\n\n(SWI-)Prolog is a versatile language. It is being used for business rule\nvalidation, natural language processing, software verification, software\nrefactoring, network configuration,  security,   robotics,  reasoning in\nlegal and medical domains,  graph   processing,  machine  learning (ILP,\nPLP), linked data (RDF), mathematical proofs, and much more.\n\nIf you are interested in commercial   assistence to make SWI-Prolog work\nin   your   organization,   please     contact   [SWI-Prolog   Solutions\nb.v.](https://swi-prolog.com/).\n\n\n## Forking, cloning and submitting patches\n\nThis           repository           uses             many           [Git\nsubmodules](https://git-scm.com/book/en/v2/Git-Tools-Submodules).   This\ncauses the common issue that __fork   and clone doesn't work__. Instead,\n_clone_  from  https://github.com/SWI-Prolog/swipl-devel.git   and  then\nassociate your clone with your  _fork_   (replace  `me` with your github\nuser name).\n\n    git clone https://github.com/SWI-Prolog/swipl-devel.git\n    cd swipl-devel\n    git submodule update --init\n    git remote add myfork git@github.com:me/swipl-devel.git\n\nSee [How to submit a patch](https://www.swi-prolog.org/howto/SubmitPatch.html)\nfor details.\n\nSee   also   the   discussion    at     [Being    friendly    to   quick\ncontributions](https://swi-prolog.discourse.group/t/being-friendly-to-quick-contributions/493/6)\n\n\n## Building\n\nSee\n[CMAKE.md](https://github.com/SWI-Prolog/swipl-devel/blob/master/CMAKE.md)\nand [Build SWI-Prolog from source](https://www.swi-prolog.org/build/)\n\n\n## Web home\n\nPlease   find   the   up-to-date   information     on    SWI-Prolog   at\nhttps://www.swi-prolog.org.\n\n## Trying SWI-Prolog online\n\nAn    online    version    of     SWI-Prolog      is     provided     by\n[SWISH](https://swish.swi-prolog.org). Note that this version is subject\nto sandbox restrictions and does not provide the features most valued in\nSWI-Prolog such as its rich set of interfaces, multi-threading, modules,\netc.\n\nAlternatively, there is  a WASM (_Web Assembly_)  version available at\nhttps://wasm.swi-prolog.org/wasm/shell.   This  version has  no  sandbox\nrestrictions.  The  WASM build  allows interaction with  the browser's\nDOM, so it allows for interactive Prolog applications running _inside_\nthe browser.  It is otherwise rather limited though.\n\n\n## Forum/mailing list\n\nOur       forum       is       hosted        at       a       [Discourse\nsite](https://swi-prolog.discourse.group/). The forum provides   a  mail\nlist interface.\n\n\n## Documentation\n\nDocumentation is available from several locations and in several formats.\n\n  - Several tutorials can be accessed from the __Tutorials__ menu on\n    the [home page](https://www.swi-prolog.org)\n\n  - A HTML version of the documentation is in the `doc/Manual` directory\n    of the installation.  Note that some packagers put this documentation\n    elsewhere or require it to be installed separately.\n\n    These docs can be searched using `?- apropos(\"query\").`.  Help on\n    a predicate can be disaplayed using e.g., `?- help(append/3).`\n\n  - A PDF version of the documentation is available from the [download\n    page](https://www.swi-prolog.org/download/devel)\n\nYou  can  also  install  the  website    locally  to  use  its  complete\nfunctionality   if   you   are    offline.     It    is   available   at\nhttps://github.com/SWI-Prolog/plweb.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2FSWI-Prolog%2Fswipl-devel","html_url":"https://awesome.ecosyste.ms/projects/github.com%2FSWI-Prolog%2Fswipl-devel","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2FSWI-Prolog%2Fswipl-devel/lists"}