{"id":15712879,"url":"https://github.com/mikeroyal/prolog-guide","last_synced_at":"2026-01-11T02:13:11.280Z","repository":{"id":47570628,"uuid":"399228357","full_name":"mikeroyal/Prolog-Guide","owner":"mikeroyal","description":"Prolog Guide","archived":false,"fork":false,"pushed_at":"2022-01-03T22:19:49.000Z","size":4,"stargazers_count":1,"open_issues_count":0,"forks_count":0,"subscribers_count":3,"default_branch":"main","last_synced_at":"2025-02-05T20:59:55.340Z","etag":null,"topics":["prolog","prolog-interpreter","prolog-programming-language"],"latest_commit_sha":null,"homepage":"","language":"Prolog","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/mikeroyal.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null}},"created_at":"2021-08-23T19:42:06.000Z","updated_at":"2022-01-03T22:19:52.000Z","dependencies_parsed_at":"2022-09-02T21:01:14.226Z","dependency_job_id":null,"html_url":"https://github.com/mikeroyal/Prolog-Guide","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mikeroyal%2FProlog-Guide","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mikeroyal%2FProlog-Guide/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mikeroyal%2FProlog-Guide/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mikeroyal%2FProlog-Guide/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/mikeroyal","download_url":"https://codeload.github.com/mikeroyal/Prolog-Guide/tar.gz/refs/heads/main","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":246361392,"owners_count":20764917,"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":["prolog","prolog-interpreter","prolog-programming-language"],"created_at":"2024-10-03T21:20:25.087Z","updated_at":"2026-01-11T02:13:11.256Z","avatar_url":"https://github.com/mikeroyal.png","language":"Prolog","readme":"\u003ch1 align=\"center\"\u003e\n \u003cimg src=\"https://user-images.githubusercontent.com/45159366/130509404-b0eeb072-8c71-4c3e-ad15-68665a5467cf.png\"\u003e\n  \u003cbr /\u003e\n Prolog Guide\n\u003c/h1\u003e\n\n#### A guide covering Prolog including the applications, libraries and tools that will make you a better and more efficient Prolog development.\n\n**Note: You can easily convert this markdown file to a PDF in [VSCode](https://code.visualstudio.com/) using this handy extension [Markdown PDF](https://marketplace.visualstudio.com/items?itemName=yzane.markdown-pdf).**\n\n\u003cp align=\"center\"\u003e\n \u003cimg src=\"https://user-images.githubusercontent.com/45159366/130509409-0c672ab5-ce66-4c35-b7be-baa77a020d29.png\"\u003e\n  \u003cbr /\u003e\n\u003c/p\u003e\n\n# Prolog Learning Resources\n\n[Prolog](https://www.iso.org/standard/21413.html) is a logic programming language associated with artificial intelligence and computational linguistics.\n\n[Datalog](https://en.wikipedia.org/wiki/Datalog) is a declarative logic programming language that syntactically is a subset of [Prolog](https://www.iso.org/standard/21413.html).\n\n[Datalog: Deductive Database Programming](https://docs.racket-lang.org/datalog/)\n\n[Datalog Programming | Stanford University](https://infolab.stanford.edu/~ullman/fcdb/aut07/slides/dlog.pdf)\n\n[Intro to Data Management (Datalog) | University of Washington](https://courses.cs.washington.edu/courses/cse344/12au/lectures/lecture10-datalog.pdf)\n\n[Logical Query Languages | University of Toronto](https://www.cs.toronto.edu/~drosu/csc343-l7-handout6.pdf)\n\n[Prolog Online Training | Prolog Certification Course](https://www.besanttechnologies.com/prolog-online-training)\n\n[Programming in Prolog (PDF) | University of Arizona](https://www2.cs.arizona.edu/classes/cs372/spring15/ProgrammingInProlog5eC-M.pdf)\n\n[Introduction to Prolog Programming | University of Amsterdam](https://staff.fnwi.uva.nl/u.endriss/teaching/prolog/prolog.pdf)\n\n[Getting started with Prolog Language tutorial](https://riptutorial.com/prolog)\n\n[Prolog Programming (PDF) - University of Washington](https://courses.cs.washington.edu/courses/cse341/03sp/brna.pdf)\n\n[A Concise Introduction To Prolog | University of Pennsylvania](https://www.cis.upenn.edu/~matuszek/Concise%20Guides/Concise%20Prolog.html)\n\n\n# Prolog Tools\n\n[Visual Studio Code](https://code.visualstudio.com/) is a code editor redefined and optimized for building and debugging modern web and cloud applications.\n\n[Code Server](https://coder.com/) is a tool that allows you to run [VS Code](https://code.visualstudio.com/) on any machine anywhere and access it in the browser.\n\n[IntelliJ IDEA](https://www.jetbrains.com/idea/) is an integrated development environment (IDE) that enables a smooth development workflow experience, from design, implementation, building, deploying, testing, and debugging.\n\n[IntelliJ Prolog](https://plugins.jetbrains.com/plugin/13954-prolog) is a plugin that provides Prolog language support for IntelliJ IDEA.\n\n[SWI-Prolog](https://www.swi-prolog.org/) is a comprehensive free Prolog environment. It is widely used in research and education as well as commercial applications.\n\n[SICStus](https://www.sics.se/sicstus/) is a state-of-the-art, [ISO standard compliant](https://webstore.ansi.org/RecordDetail.aspx?sku=BS+ISO%2fIEC+13211-1%3a1995), Prolog development system. It's built around a high performance Prolog engine that can use the full virtual memory space for 32 \u0026 64-bit architectures. SICStus is efficient and robust for large amounts of data and large applications.\n\n[GNU Prolog](https://www.gprolog.org/) is a free Prolog compiler with constraint solving over finite domains developed by [Daniel Diaz](https://cri-dist.univ-paris1.fr/diaz).\n\n[XSB](https://xsb.sourceforge.net/) is a Logic Programming and Deductive Database system for Unix and Windows.\n\n[Visual Prolog](https://www.visual-prolog.com/) is a multi-paradigm programming language based on the logical language Prolog.\n\n[AbcDatalog](https://abcdatalog.seas.harvard.edu/) is an open-source implementation of the logic programming language Datalog written in Java. It provides ready-to-use implementations of common Datalog evaluation algorithms, as well as some experimental multi-threaded evaluation engines.\n\n\n## Contribute\n\n- [x] If would you like to contribute to this guide simply make a [Pull Request](https://github.com/mikeroyal/Prolog-Guide/pulls).\n\n\n## License\n\nDistributed under the [Creative Commons Attribution 4.0 International (CC BY 4.0) Public License](https://creativecommons.org/licenses/by/4.0/).\n","funding_links":[],"categories":[],"sub_categories":[],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fmikeroyal%2Fprolog-guide","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fmikeroyal%2Fprolog-guide","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fmikeroyal%2Fprolog-guide/lists"}