https://github.com/dcavar/prolog-tutorial
This is a basic Prolog tutorial repo for the dicussion group at IU
https://github.com/dcavar/prolog-tutorial
prolog prolog-programming-language
Last synced: 4 months ago
JSON representation
This is a basic Prolog tutorial repo for the dicussion group at IU
- Host: GitHub
- URL: https://github.com/dcavar/prolog-tutorial
- Owner: dcavar
- License: apache-2.0
- Created: 2020-01-25T13:40:08.000Z (almost 6 years ago)
- Default Branch: master
- Last Pushed: 2020-01-25T15:19:09.000Z (almost 6 years ago)
- Last Synced: 2025-06-07T12:44:04.089Z (5 months ago)
- Topics: prolog, prolog-programming-language
- Size: 12.7 KB
- Stars: 1
- Watchers: 3
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# Prolog Meetings
(C) 2020 by [Damir Cavar], ...
This is a basic Prolog language proficiency improvement and tutorial repo for the dicussion group at [Indiana University at Bloomington]. Feel free to use the code examples in a way compatible with the [Apache License Version 2.0] as specified in the accompanied LICENSE file.
## Tutorials
See for some tutorials:
- [SWI Prolog] (see Tutorial Menu)
- [The Franz Inc. Allegro Prolog documentation](https://franz.com/support/documentation/current/doc/prolog.html)
## Resources
You can use some of these Prolog environments:
- [SWI Prolog]
- [Allegro Common Lisp (and Allegro Prolog)](https://franz.com/products/packages/)
### Jupyter Notebook
To use the [Jupyter] Notebooks you might have to install [Python] and [Jupyter], and in addition a Prolog kernel:
- [Calysto Prolog Jupyter kernel](https://github.com/Calysto/calysto_prolog)
## Literature
You will find this book on [IUCAT](https://iucat.iu.edu/) (or elsewhere):
- Ivan Bratko (2011) [Prolog Programming for Artificial Intelligence](https://catalogue.pearsoned.ca/educator/product/Prolog-Programming-for-Artificial-Intelligence/9780321417466.page). Pearson Education Canada. (4th edition)
- William F. Clocksin (2003) [Programming in Prolog: Using The ISO Standard](https://www.springer.com/us/book/9783540006787). Springer. (5th edition)
- Max Bramer (2013) [Logic Programming with Prolog](https://www.springer.com/us/book/9781846282126). Springer. (2nd edition)
For the Common Lisp implementation of Allegro Prolog:
- Peter Norvig (1992) [Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp](https://www.elsevier.com/books/paradigms-of-artificial-intelligence-programming/norvig/978-0-08-057115-7). Elsevier. ([GitHub repo with code](https://github.com/norvig/paip-lisp))
[Apache License Version 2.0]: https://www.apache.org/licenses/LICENSE-2.0 "Apache License Version 2.0"
[SWI Prolog]: https://www.swi-prolog.org/ "SWI Prolog"
[Python]: https://www.python.org/ "Python"
[Jupyter]: https://jupyter.org/ "Jupyter"
[Common Lisp]: https://lisp-lang.org/ "Common Lisp"
[Steel Bank Common Lisp]: http://www.sbcl.org/ "Steel Bank Common Lisp"
[SBCL]: http://www.sbcl.org/ "Steel Bank Common Lisp"
[Damir Cavar]: http://damir.cavar.me/ "Damir Cavar"
[Indiana University at Bloomington]: https://www.indiana.edu/ "Indiana University at Bloomington"