{"id":20783600,"url":"https://github.com/tuprolog/2p-kt-presentation","last_synced_at":"2026-03-19T17:31:02.598Z","repository":{"id":40410678,"uuid":"353652642","full_name":"tuProlog/2p-kt-presentation","owner":"tuProlog","description":null,"archived":false,"fork":false,"pushed_at":"2023-12-15T20:30:07.000Z","size":3721,"stargazers_count":0,"open_issues_count":6,"forks_count":0,"subscribers_count":2,"default_branch":"master","last_synced_at":"2025-01-18T09:30:35.096Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"TeX","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/tuProlog.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"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":"2021-04-01T09:54:29.000Z","updated_at":"2021-06-28T09:59:17.000Z","dependencies_parsed_at":"2025-01-18T09:25:10.244Z","dependency_job_id":"8538bd7d-720d-4874-a207-0647f7d16bf5","html_url":"https://github.com/tuProlog/2p-kt-presentation","commit_stats":null,"previous_names":[],"tags_count":50,"template":false,"template_full_name":"gciatto/presentation-template","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tuProlog%2F2p-kt-presentation","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tuProlog%2F2p-kt-presentation/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tuProlog%2F2p-kt-presentation/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tuProlog%2F2p-kt-presentation/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/tuProlog","download_url":"https://codeload.github.com/tuProlog/2p-kt-presentation/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":243125563,"owners_count":20240276,"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":[],"created_at":"2024-11-17T14:21:31.568Z","updated_at":"2026-02-04T07:08:26.858Z","avatar_url":"https://github.com/tuProlog.png","language":"TeX","funding_links":[],"categories":[],"sub_categories":[],"readme":"# 2P-Kt: A Kotlin Multi-Platform ecosystem for symbolic AI \n\nby [Giovanni Ciatto](mailto:giovanni.ciatto@unibo.it) and [Lorenzo Rizzato](mailto:lorenzo.rizzato@studio.unibo.it)\n\n## Abstract\n\nComputational logic and _logic programming_ (LP) play a central role in AI.\nWhile their impact on _symbolic_ AI is well established, emergent AI techniques leverage on logic to make data-driven AI more predictable or understandable.\nThus, the need for solid, interoperable, general-purpose _logic-based technologies_ (LBT) is more compelling than ever.\n\nMost LBT are either built on top or as extensions of the Prolog language.\nEven when this is not the case, _monolithic_ solutions are built around different inference procedures, unification mechanisms, or knowledge representation techniques.\nHowever, LBT should be neither constructed as Prolog-centred monoliths nor tailored to a specific semantics or language.\nTo maximise their AI-related impact, LBT should welcome the manifold contributions coming from the LP playground, supporting the general-purposes exploitation of as many mechanisms as possible.\n\nAccordingly, we present 2P-Kt, a reboot of the tuProlog project offering a general, extensible, and interoperable _ecosystem_ for LP and symbolic AI.\n\n## Useful links\n\n- tuProlog homepage: \u003chttp://tuprolog.unibo.it\u003e\n\n- 2P-Kt project on GitHub: \u003chttps://github.com/tuProlog/2p-kt\u003e\n\n- Recording of the talk (requires Unibo credentials, ask for a copy via a private email otherwise):\n    1. Part 1: https://web.microsoftstream.com/video/f53478b2-d628-4ce5-ac8e-f59c4d5ed14a (roughly, slides 1-182)\n    2. Part 2: https://web.microsoftstream.com/video/500573d3-b472-4ce4-acb0-bbcfa2c3d625 (roughly, slides 182-334)\n    3. Part 3: https://web.microsoftstream.com/video/a8b0b81b-95c8-4377-9c5d-c46776c83fea (roughly, slides 334-425)\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ftuprolog%2F2p-kt-presentation","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Ftuprolog%2F2p-kt-presentation","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ftuprolog%2F2p-kt-presentation/lists"}