https://github.com/dcavar/prolog-tutorial
This is a basic Prolog tutorial repo for the dicussion group at IU
Science Score: 23.0%
This score indicates how likely this project is to be science-related based on various indicators:
-
○CITATION.cff file
-
✓codemeta.json file
Found codemeta.json file -
○.zenodo.json file
-
○DOI references
-
✓Academic publication links
Links to: springer.com -
○Committers with academic emails
-
○Institutional organization owner
-
○JOSS paper metadata
-
○Scientific vocabulary similarity
Low similarity (8.0%) to scientific vocabulary
Keywords
Repository
This is a basic Prolog tutorial repo for the dicussion group at IU
Basic Info
- Host: GitHub
- Owner: dcavar
- License: apache-2.0
- Default Branch: master
- Size: 12.7 KB
Statistics
- Stars: 1
- Watchers: 3
- Forks: 0
- Open Issues: 0
- Releases: 0
Topics
Metadata Files
README.md
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:
Resources
You can use some of these Prolog environments:
Jupyter Notebook
To use the Jupyter Notebooks you might have to install Python and Jupyter, and in addition a Prolog kernel:
Literature
You will find this book on IUCAT (or elsewhere):
- Ivan Bratko (2011) Prolog Programming for Artificial Intelligence. Pearson Education Canada. (4th edition)
- William F. Clocksin (2003) Programming in Prolog: Using The ISO Standard. Springer. (5th edition)
- Max Bramer (2013) Logic Programming with Prolog. Springer. (2nd edition)
For the Common Lisp implementation of Allegro Prolog:
- Peter Norvig (1992) Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp. Elsevier. (GitHub repo with code)
Owner
- Name: Damir Cavar
- Login: dcavar
- Kind: user
- Location: Bloomington, IN
- Company: Indiana University
- Website: http://damir.cavar.me/
- Repositories: 29
- Profile: https://github.com/dcavar
GitHub Events
Total
Last Year
Committers
Last synced: 8 months ago
Top Committers
| Name | Commits | |
|---|---|---|
| Damir Cavar | d****r@m****m | 6 |
Committer Domains (Top 20 + Academic)
Issues and Pull Requests
Last synced: 8 months ago
All Time
- Total issues: 0
- Total pull requests: 0
- Average time to close issues: N/A
- Average time to close pull requests: N/A
- Total issue authors: 0
- Total pull request authors: 0
- Average comments per issue: 0
- Average comments per pull request: 0
- Merged pull requests: 0
- Bot issues: 0
- Bot pull requests: 0
Past Year
- Issues: 0
- Pull requests: 0
- Average time to close issues: N/A
- Average time to close pull requests: N/A
- Issue authors: 0
- Pull request authors: 0
- Average comments per issue: 0
- Average comments per pull request: 0
- Merged pull requests: 0
- Bot issues: 0
- Bot pull requests: 0