tuProlog

All

18 repositories

2p-kt
Public
A Kotlin Multi-Platform ecosystem for symbolic AI
javascript java js symbolic logic-programming tuprolog kotlin-multiplatform kotlin-multi-platform 2p simbolic-ai
Kotlin
•
Apache License 2.0
•15•95•63•28•Updated Nov 13, 2024Nov 13, 2024
cilc-2022-2pkt-demo
Public
Kotlin
•0•1•1•4•Updated Nov 13, 2024Nov 13, 2024
arg2p-kt
Public
A lightweight implementation of the ASPIC+ framework for structured argumentation.
Kotlin
•
MIT License
•0•6•1•20•Updated Nov 12, 2024Nov 12, 2024
2p-jupyter
Public
Jupyter Notebook
•0•0•1•2•Updated Nov 9, 2024Nov 9, 2024
arg2p-kt-web
Public
JavaScript
•
Apache License 2.0
•0•1•0•1•Updated Sep 24, 2024Sep 24, 2024
2p-kt-js-parser-utils
Public
ANTLR-based library for parsing Prolog code
prolog antlr antlr4 2p-kt
JavaScript
•
Apache License 2.0
•0•1•1•1•Updated Aug 3, 2024Aug 3, 2024
2p-kt-presentation
Public
TeX
•0•0•5•1•Updated Dec 15, 2023Dec 15, 2023
2pkt-problog-compatibility-demo
Public
Kotlin
•0•0•0•1•Updated Dec 15, 2023Dec 15, 2023
arg2p
Public
Java
•0•3•0•1•Updated Dec 15, 2023Dec 15, 2023
2pkt-state-machine
Public
TeX
•0•0•0•1•Updated Dec 15, 2023Dec 15, 2023
cilc-2022-2pkt
Public
TeX
•0•0•0•1•Updated Dec 15, 2023Dec 15, 2023
prolog-dsl-example
Public
Kotlin
•0•1•0•1•Updated Dec 15, 2023Dec 15, 2023
2ppy
Public
Python
•
Apache License 2.0
•3•1•11•2•Updated Dec 15, 2023Dec 15, 2023
2p-kt-playground
Public
Web-based Playground for 2P-Kt
playground web js prolog 2p-kt
JavaScript
•
Apache License 2.0
•0•2•1•1•Updated Dec 15, 2023Dec 15, 2023
ortools-tsp-example
Public
2P-Kt example binding Goodle OR-Tools via primitives to support resolution of the TSP
Kotlin
•
Apache License 2.0
•0•1•0•1•Updated Dec 15, 2023Dec 15, 2023
JLC-SpecialIssue2021-arg2p-examples
Public
0•0•0•1•Updated Dec 15, 2023Dec 15, 2023
2pkt-java-example
Public
Java
•0•0•0•1•Updated Dec 15, 2023Dec 15, 2023
2p-java
Public archive
Java
•
GNU Lesser General Public License v3.0
•1•0•0•1•Updated Dec 13, 2023Dec 13, 2023