https://github.com/wisn/programming-logic
An archive for Programming Logic course at Telkom University.
https://github.com/wisn/programming-logic
programming-logic prolog telkom-university
Last synced: 6 months ago
JSON representation
An archive for Programming Logic course at Telkom University.
- Host: GitHub
- URL: https://github.com/wisn/programming-logic
- Owner: wisn
- License: mit
- Created: 2019-03-10T02:38:25.000Z (almost 7 years ago)
- Default Branch: master
- Last Pushed: 2019-04-23T07:50:37.000Z (over 6 years ago)
- Last Synced: 2025-02-10T12:43:01.628Z (10 months ago)
- Topics: programming-logic, prolog, telkom-university
- Language: Prolog
- Homepage:
- Size: 175 KB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# Programming Logic
An archive for Programming Logic course at Telkom University.
## Course Detail
| Name | Content |
|----------|----------------------|
| Credits | 3 |
| Type | optional course |
| Lecturer | [Muhammad Arzaki][1] |
[1]: https://www.researchgate.net/scientific-contributions/2105332282_Muhammad_Arzaki
## Repository Detail
This repository exists solely for archiving my activity during the Programming Logic course.
I also hope that this repository will help you to understand more about Programming Logic before you dive in.
The official programming language used by this course is Prolog.
However, in this repository, I will use another logic programming language called Mercury as a comparison with Prolog.
## How to Use
You may runs the code on your machine but you could use [SWISH](https://swish.swi-prolog.org/) as well.
For each problem, I will provides the SWISH URL so you may interact with the code and do some queries by yourself.
Read the problem description and the example query.
Copy and paste the query into SWISH and take a look the result.
## Available Contents
Here is the available contents at the moment.
* [Prolog](prolog/)
* [Homework](prolog/homework/)
* [Problem Set](prolog/problem-sets/)
## License
I don't hold any copyrights for the available problems.
The code itself licensed under [The MIT License](LICENSE).