https://github.com/tuprolog/2p-kt

A Kotlin Multi-Platform ecosystem for symbolic AI

2p java javascript js jvm kotlin kotlin-multi-platform kotlin-multiplatform logic-programming prolog simbolic-ai symbolic tuprolog

Last synced: 16 May 2025

https://github.com/tuProlog/2p-kt

A Kotlin Multi-Platform ecosystem for symbolic AI

2p java javascript js jvm kotlin kotlin-multi-platform kotlin-multiplatform logic-programming prolog simbolic-ai symbolic tuprolog

Last synced: 02 Apr 2025

https://github.com/tuprolog/arg2p-kt

A lightweight implementation of the ASPIC+ framework for structured argumentation.

Last synced: 01 May 2025

https://github.com/tuprolog/arg2p

Last synced: 03 Jul 2025

https://github.com/tuprolog/2p-kt-playground

Web-based Playground for 2P-Kt

2p-kt js playground prolog web

Last synced: 05 Jul 2025

https://github.com/tuprolog/prolog-dsl-example

Last synced: 26 Apr 2026

https://github.com/tuprolog/ortools-tsp-example

2P-Kt example binding Goodle OR-Tools via primitives to support resolution of the TSP

Last synced: 28 Apr 2026

https://github.com/tuprolog/2ppy

Last synced: 14 Sep 2025

https://github.com/tuprolog/2p-kt-js-parser-utils

ANTLR-based library for parsing Prolog code

2p-kt antlr antlr4 prolog

Last synced: 22 Jul 2025

https://github.com/tuprolog/arg2p-kt-web

Last synced: 11 Mar 2025

https://github.com/tuprolog/cilc-2022-2pkt-demo

Last synced: 21 Apr 2026

https://github.com/tuprolog/2pkt-problog-compatibility-demo

Last synced: 06 Oct 2025

https://github.com/tuprolog/2pkt-state-machine

Last synced: 19 Mar 2026

https://github.com/tuprolog/2p-kt-presentation

Last synced: 19 Mar 2026

https://github.com/tuprolog/jlc-specialissue2021-arg2p-examples

Last synced: 27 Mar 2026

https://github.com/tuprolog/2p-jupyter

Last synced: 20 Apr 2026

https://github.com/tuprolog/cilc-2022-2pkt

Last synced: 19 Mar 2026

https://github.com/tuprolog/2pkt-java-example

Last synced: 23 Apr 2026