https://github.com/tpltnt/logic-scripts
a small collection of scripts to help with my logic course
https://github.com/tpltnt/logic-scripts
Last synced: about 12 hours ago
JSON representation
a small collection of scripts to help with my logic course
- Host: GitHub
- URL: https://github.com/tpltnt/logic-scripts
- Owner: tpltnt
- Created: 2013-03-06T21:52:24.000Z (almost 13 years ago)
- Default Branch: master
- Last Pushed: 2013-03-06T22:18:36.000Z (almost 13 years ago)
- Last Synced: 2025-01-23T00:41:11.566Z (12 months ago)
- Size: 109 KB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
logic-scripts
=============
A small collection of scripts to help with my logic course. Don't expect excessive documentation or support,
actually don't expect any. If you have questions anyway, contact me.
License: MIT
```
take my code with you
and do whatever you want
but please don’t blame me
```
References
----------
* [Learn Prolog Now!](http://www.learnprolognow.org/lpnpage.php?pageid=online)
* [GNU Prolog](http://www.gprolog.org/)