{"id":28223292,"url":"https://github.com/d-plaindoux/apacen","last_synced_at":"2025-06-11T19:32:20.925Z","repository":{"id":293800750,"uuid":"985168097","full_name":"d-plaindoux/apacen","owner":"d-plaindoux","description":"Constraint logic programming language","archived":false,"fork":false,"pushed_at":"2025-06-08T13:03:27.000Z","size":149,"stargazers_count":2,"open_issues_count":0,"forks_count":0,"subscribers_count":1,"default_branch":"main","last_synced_at":"2025-06-08T14:19:27.083Z","etag":null,"topics":["constraints","prolog-programming-language","solver"],"latest_commit_sha":null,"homepage":"","language":"Kotlin","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/d-plaindoux.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,"zenodo":null}},"created_at":"2025-05-17T07:44:17.000Z","updated_at":"2025-06-08T13:03:31.000Z","dependencies_parsed_at":"2025-06-08T14:29:15.030Z","dependency_job_id":null,"html_url":"https://github.com/d-plaindoux/apacen","commit_stats":null,"previous_names":["d-plaindoux/apacen"],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/d-plaindoux/apacen","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/d-plaindoux%2Fapacen","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/d-plaindoux%2Fapacen/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/d-plaindoux%2Fapacen/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/d-plaindoux%2Fapacen/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/d-plaindoux","download_url":"https://codeload.github.com/d-plaindoux/apacen/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/d-plaindoux%2Fapacen/sbom","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":259325234,"owners_count":22841044,"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":["constraints","prolog-programming-language","solver"],"created_at":"2025-05-18T07:15:14.591Z","updated_at":"2025-06-11T19:32:20.920Z","avatar_url":"https://github.com/d-plaindoux.png","language":"Kotlin","funding_links":[],"categories":[],"sub_categories":[],"readme":"# Apacen\n\n## Prolog \n\nThe current Prolog kernel is an ad-hoc implementation in Kotlin. \nIt does not use research results like the Warren abstract machine.\n\n## Objectives\n\n### Expressivity\n\nThe first objective is to express the manipulation of\ndata structures using operators and constructors.\n\n### Additional Solver\n\nSecond objective is the design of SAT and SMT solving in Prolog\n\nReferences: \n- [A pearl on SAT and SMT solving in Prolog](https://www.sciencedirect.com/science/article/pii/S030439751200165X)\n\n## Example: A Dependant Type system\n\nA first implementation of the [Type System](https://github.com/d-plaindoux/apacen/tree/main/src/main/resources)\n\n## Why Apacen\n\n[Apacen](https://www.elfdict.com/w/apacen) means `after-sight` in Quenya, an elfic language.\n\n## License\n\n```text\nMIT License\n\nCopyright (c) 2025 Didier Plaindoux\n\nPermission is hereby granted, free of charge, to any person obtaining a copy\nof this software and associated documentation files (the \"Software\"), to deal\nin the Software without restriction, including without limitation the rights\nto use, copy, modify, merge, publish, distribute, sublicense, and/or sell\ncopies of the Software, and to permit persons to whom the Software is\nfurnished to do so, subject to the following conditions:\n\nThe above copyright notice and this permission notice shall be included in all\ncopies or substantial portions of the Software.\n\nTHE SOFTWARE IS PROVIDED \"AS IS\", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR\nIMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,\nFITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE\nAUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER\nLIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,\nOUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE\nSOFTWARE.\n```\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fd-plaindoux%2Fapacen","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fd-plaindoux%2Fapacen","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fd-plaindoux%2Fapacen/lists"}