{"id":20719218,"url":"https://github.com/tom-weatherhead/katalog","last_synced_at":"2025-09-15T21:06:37.908Z","repository":{"id":87460998,"uuid":"542673359","full_name":"tom-weatherhead/katalog","owner":"tom-weatherhead","description":"A small Prolog interpreter","archived":false,"fork":false,"pushed_at":"2022-10-18T17:49:53.000Z","size":172,"stargazers_count":0,"open_issues_count":0,"forks_count":1,"subscribers_count":2,"default_branch":"master","last_synced_at":"2025-01-17T22:26:55.394Z","etag":null,"topics":["backtracking","cut","interpreter","logic-programming","prolog","prolog-interpreter","unification"],"latest_commit_sha":null,"homepage":"","language":"C","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/tom-weatherhead.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":"2022-09-28T15:58:01.000Z","updated_at":"2022-10-03T20:42:48.000Z","dependencies_parsed_at":"2023-03-04T16:00:33.911Z","dependency_job_id":null,"html_url":"https://github.com/tom-weatherhead/katalog","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tom-weatherhead%2Fkatalog","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tom-weatherhead%2Fkatalog/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tom-weatherhead%2Fkatalog/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tom-weatherhead%2Fkatalog/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/tom-weatherhead","download_url":"https://codeload.github.com/tom-weatherhead/katalog/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":242995879,"owners_count":20218815,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","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":["backtracking","cut","interpreter","logic-programming","prolog","prolog-interpreter","unification"],"created_at":"2024-11-17T03:16:17.249Z","updated_at":"2025-09-15T21:06:32.832Z","avatar_url":"https://github.com/tom-weatherhead.png","language":"C","funding_links":[],"categories":[],"sub_categories":[],"readme":"# katalog\n\n(I.e. A Japanese 'kata' plus 'log' for Prolog)\n\nA small Prolog interpreter\n\n[![watchers][watchers-badge-image]][watchers-url]\n[![stars][stars-badge-image]][stars-url]\n[![issues][issues-badge-image]][issues-url]\n[![forks][forks-badge-image]][forks-url]\n[![contributors][contributors-badge-image]][contributors-url]\n[![branches][branches-badge-image]][branches-url]\n[![releases][releases-badge-image]][releases-url]\n[![commits][commits-badge-image]][commits-url]\n[![last commit][last-commit-badge-image]][last-commit-url]\n[![license][license-badge-image]][license-url]\n\n## To compile and run katalog\n\nFirst, ensure that gcc and make are installed.\n\nAfter cloning this repository, cd into its directory and do this:\n\n```sh\n$ cd src\n$ make\n$ ./katalog\n```\n\nFrom the src directory, you can do the following:\n\nTo do a full rebuild and run the built-in tests:\n\n```sh\n$ make clean \u0026\u0026 make \u0026\u0026 make test\n```\n\nTo run a script: E.g.:\n\n```sh\n$ ./katalog ../scripts/test001.pro\n```\n\nTo enter the read-eval-print loop (REPL) :\n\n```sh\n$ ./katalog\n```\n\nExit the REPL by typing 'exit', 'quit', or 'bye'.\n\n## License\n[MIT](https://choosealicense.com/licenses/mit/)\n\n[watchers-badge-image]: https://badgen.net/github/watchers/tom-weatherhead/katalog\n[watchers-url]: https://github.com/tom-weatherhead/katalog/watchers\n[stars-badge-image]: https://badgen.net/github/stars/tom-weatherhead/katalog\n[stars-url]: https://github.com/tom-weatherhead/katalog/stargazers\n[issues-badge-image]: https://badgen.net/github/issues/tom-weatherhead/katalog\n[issues-url]: https://github.com/tom-weatherhead/katalog/issues\n[forks-badge-image]: https://badgen.net/github/forks/tom-weatherhead/katalog\n[forks-url]: https://github.com/tom-weatherhead/katalog/network/members\n[contributors-badge-image]: https://badgen.net/github/contributors/tom-weatherhead/katalog\n[contributors-url]: https://github.com/tom-weatherhead/katalog/graphs/contributors\n[branches-badge-image]: https://badgen.net/github/branches/tom-weatherhead/katalog\n[branches-url]: https://github.com/tom-weatherhead/katalog/branches\n[releases-badge-image]: https://badgen.net/github/releases/tom-weatherhead/katalog\n[releases-url]: https://github.com/tom-weatherhead/katalog/releases\n[commits-badge-image]: https://badgen.net/github/commits/tom-weatherhead/katalog\n[commits-url]: https://github.com/tom-weatherhead/katalog/commits/master\n[last-commit-badge-image]: https://badgen.net/github/last-commit/tom-weatherhead/katalog\n[last-commit-url]: https://github.com/tom-weatherhead/katalog\n[license-badge-image]: https://img.shields.io/github/license/mashape/apistatus.svg\n[license-url]: https://github.com/tom-weatherhead/thaw-grammar/blob/master/LICENSE\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ftom-weatherhead%2Fkatalog","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Ftom-weatherhead%2Fkatalog","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ftom-weatherhead%2Fkatalog/lists"}