{"id":16027826,"url":"https://github.com/wisn/programming-logic","last_synced_at":"2026-02-04T00:01:52.810Z","repository":{"id":138974221,"uuid":"174769726","full_name":"wisn/programming-logic","owner":"wisn","description":"An archive for Programming Logic course at Telkom University.","archived":false,"fork":false,"pushed_at":"2019-04-23T07:50:37.000Z","size":179,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":1,"default_branch":"master","last_synced_at":"2025-07-01T11:50:21.473Z","etag":null,"topics":["programming-logic","prolog","telkom-university"],"latest_commit_sha":null,"homepage":"","language":"Prolog","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/wisn.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2019-03-10T02:38:25.000Z","updated_at":"2019-04-23T07:50:39.000Z","dependencies_parsed_at":null,"dependency_job_id":"1a03fcaa-1cbd-4af9-9269-f6a2588981a4","html_url":"https://github.com/wisn/programming-logic","commit_stats":{"total_commits":8,"total_committers":1,"mean_commits":8.0,"dds":0.0,"last_synced_commit":"21ecbc4aa71c27289f6f819c6d012c3129422f19"},"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/wisn/programming-logic","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/wisn%2Fprogramming-logic","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/wisn%2Fprogramming-logic/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/wisn%2Fprogramming-logic/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/wisn%2Fprogramming-logic/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/wisn","download_url":"https://codeload.github.com/wisn/programming-logic/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/wisn%2Fprogramming-logic/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":29062482,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-02-03T23:14:54.203Z","status":"ssl_error","status_checked_at":"2026-02-03T23:14:50.873Z","response_time":96,"last_error":"SSL_read: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["programming-logic","prolog","telkom-university"],"created_at":"2024-10-08T20:23:50.458Z","updated_at":"2026-02-04T00:01:52.782Z","avatar_url":"https://github.com/wisn.png","language":"Prolog","readme":"# Programming Logic\n\nAn archive for Programming Logic course at Telkom University.\n\n## Course Detail\n\n| Name     | Content              |\n|----------|----------------------|\n| Credits  | 3                    |\n| Type     | optional course      |\n| Lecturer | [Muhammad Arzaki][1] |\n\n[1]: https://www.researchgate.net/scientific-contributions/2105332282_Muhammad_Arzaki\n\n## Repository Detail\n\nThis repository exists solely for archiving my activity during the Programming Logic course.\nI also hope that this repository will help you to understand more about Programming Logic before you dive in.\nThe official programming language used by this course is Prolog.\nHowever, in this repository, I will use another logic programming language called Mercury as a comparison with Prolog.\n\n## How to Use\n\nYou may runs the code on your machine but you could use [SWISH](https://swish.swi-prolog.org/) as well.\n\nFor each problem, I will provides the SWISH URL so you may interact with the code and do some queries by yourself.\nRead the problem description and the example query.\nCopy and paste the query into SWISH and take a look the result.\n\n## Available Contents\n\nHere is the available contents at the moment.\n\n* [Prolog](prolog/)\n  * [Homework](prolog/homework/)\n  * [Problem Set](prolog/problem-sets/)\n\n## License\n\nI don't hold any copyrights for the available problems.\nThe code itself licensed under [The MIT License](LICENSE).\n\n","funding_links":[],"categories":[],"sub_categories":[],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fwisn%2Fprogramming-logic","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fwisn%2Fprogramming-logic","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fwisn%2Fprogramming-logic/lists"}