https://github.com/mikeroyal/prolog-guide
Prolog Guide
https://github.com/mikeroyal/prolog-guide
prolog prolog-interpreter prolog-programming-language
Last synced: 7 months ago
JSON representation
Prolog Guide
- Host: GitHub
- URL: https://github.com/mikeroyal/prolog-guide
- Owner: mikeroyal
- Created: 2021-08-23T19:42:06.000Z (about 4 years ago)
- Default Branch: main
- Last Pushed: 2022-01-03T22:19:49.000Z (almost 4 years ago)
- Last Synced: 2025-02-05T20:59:55.340Z (9 months ago)
- Topics: prolog, prolog-interpreter, prolog-programming-language
- Language: Prolog
- Homepage:
- Size: 3.91 KB
- Stars: 1
- Watchers: 3
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
Prolog Guide
#### A guide covering Prolog including the applications, libraries and tools that will make you a better and more efficient Prolog development.
**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).**
# Prolog Learning Resources
[Prolog](https://www.iso.org/standard/21413.html) is a logic programming language associated with artificial intelligence and computational linguistics.
[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).
[Datalog: Deductive Database Programming](https://docs.racket-lang.org/datalog/)
[Datalog Programming | Stanford University](https://infolab.stanford.edu/~ullman/fcdb/aut07/slides/dlog.pdf)
[Intro to Data Management (Datalog) | University of Washington](https://courses.cs.washington.edu/courses/cse344/12au/lectures/lecture10-datalog.pdf)
[Logical Query Languages | University of Toronto](https://www.cs.toronto.edu/~drosu/csc343-l7-handout6.pdf)
[Prolog Online Training | Prolog Certification Course](https://www.besanttechnologies.com/prolog-online-training)
[Programming in Prolog (PDF) | University of Arizona](https://www2.cs.arizona.edu/classes/cs372/spring15/ProgrammingInProlog5eC-M.pdf)
[Introduction to Prolog Programming | University of Amsterdam](https://staff.fnwi.uva.nl/u.endriss/teaching/prolog/prolog.pdf)
[Getting started with Prolog Language tutorial](https://riptutorial.com/prolog)
[Prolog Programming (PDF) - University of Washington](https://courses.cs.washington.edu/courses/cse341/03sp/brna.pdf)
[A Concise Introduction To Prolog | University of Pennsylvania](https://www.cis.upenn.edu/~matuszek/Concise%20Guides/Concise%20Prolog.html)
# Prolog Tools
[Visual Studio Code](https://code.visualstudio.com/) is a code editor redefined and optimized for building and debugging modern web and cloud applications.
[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.
[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.
[IntelliJ Prolog](https://plugins.jetbrains.com/plugin/13954-prolog) is a plugin that provides Prolog language support for IntelliJ IDEA.
[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.
[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 & 64-bit architectures. SICStus is efficient and robust for large amounts of data and large applications.
[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).
[XSB](https://xsb.sourceforge.net/) is a Logic Programming and Deductive Database system for Unix and Windows.
[Visual Prolog](https://www.visual-prolog.com/) is a multi-paradigm programming language based on the logical language Prolog.
[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.
## Contribute
- [x] If would you like to contribute to this guide simply make a [Pull Request](https://github.com/mikeroyal/Prolog-Guide/pulls).
## License
Distributed under the [Creative Commons Attribution 4.0 International (CC BY 4.0) Public License](https://creativecommons.org/licenses/by/4.0/).