tuProlog

tuProlog/2p-kt

A Kotlin Multi-Platform ecosystem for symbolic AI

10 good first / help-wanted issues · Kotlin · last activity Oct 4, 2026

116 stars 18 forks 116 watchers Kotlin Apache License 2.0
2p java javascript js jvm kotlin kotlin-multi-platform kotlin-multiplatform logic-programming prolog simbolic-ai symbolic tuprolog
View on GitHub Website
10 Open Issues Need Help Last updated: Oct 4, 2026

Open Issues Need Help

View All on GitHub
Exposing equalityAssertion parameter in assertSolverSolutionsCorrect in TestUtils 12 days ago
enhancement good first issue testing module::test-solve
tuProlog/2p-kt
116

A Kotlin Multi-Platform ecosystem for symbolic AI

Kotlin
#2p#java#javascript#js#jvm#kotlin#kotlin-multi-platform#kotlin-multiplatform#logic-programming#prolog#simbolic-ai#symbolic#tuprolog
Fix LongIndexed.compareTo overflow for large index deltas 12 days ago
bug good first issue module::utils
tuProlog/2p-kt
116

A Kotlin Multi-Platform ecosystem for symbolic AI

Kotlin
#2p#java#javascript#js#jvm#kotlin#kotlin-multi-platform#kotlin-multiplatform#logic-programming#prolog#simbolic-ai#symbolic#tuprolog
Remove the duplicated dead mac branch in Os.detect 12 days ago
good first issue code-quality module::core
tuProlog/2p-kt
116

A Kotlin Multi-Platform ecosystem for symbolic AI

Kotlin
#2p#java#javascript#js#jvm#kotlin#kotlin-multi-platform#kotlin-multiplatform#logic-programming#prolog#simbolic-ai#symbolic#tuprolog
Throw the NotImplementedError constructed by visitTruth 12 days ago
bug good first issue module::serialize-core
tuProlog/2p-kt
116

A Kotlin Multi-Platform ecosystem for symbolic AI

Kotlin
#2p#java#javascript#js#jvm#kotlin#kotlin-multi-platform#kotlin-multiplatform#logic-programming#prolog#simbolic-ai#symbolic#tuprolog
Fix DirectiveSelector.Priority to use the Priority variable 12 days ago
bug good first issue code-quality module::solve
tuProlog/2p-kt
116

A Kotlin Multi-Platform ecosystem for symbolic AI

Kotlin
#2p#java#javascript#js#jvm#kotlin#kotlin-multi-platform#kotlin-multiplatform#logic-programming#prolog#simbolic-ai#symbolic#tuprolog
Normalize malformed TheoryDeobjectifier input errors 12 days ago
bug good first issue code-quality module::serialize-theory
tuProlog/2p-kt
116

A Kotlin Multi-Platform ecosystem for symbolic AI

Kotlin
#2p#java#javascript#js#jvm#kotlin#kotlin-multi-platform#kotlin-multiplatform#logic-programming#prolog#simbolic-ai#symbolic#tuprolog
Fix inverted conditions in RuntimeImpl.minus overloads 12 days ago
bug good first issue module::solve
tuProlog/2p-kt
116

A Kotlin Multi-Platform ecosystem for symbolic AI

Kotlin
#2p#java#javascript#js#jvm#kotlin#kotlin-multi-platform#kotlin-multiplatform#logic-programming#prolog#simbolic-ai#symbolic#tuprolog
Use the requested index in getArgumentAsTypeRef fallback 12 days ago
bug good first issue module::oop-lib
tuProlog/2p-kt
116

A Kotlin Multi-Platform ecosystem for symbolic AI

Kotlin
#2p#java#javascript#js#jvm#kotlin#kotlin-multi-platform#kotlin-multiplatform#logic-programming#prolog#simbolic-ai#symbolic#tuprolog
Remove or use AbstractIterableItems.target 12 days ago
good first issue code-quality module::oop-lib
tuProlog/2p-kt
116

A Kotlin Multi-Platform ecosystem for symbolic AI

Kotlin
#2p#java#javascript#js#jvm#kotlin#kotlin-multi-platform#kotlin-multiplatform#logic-programming#prolog#simbolic-ai#symbolic#tuprolog
Bug: `ceiling/1` saturates at Long.MAX_VALUE for large floats 12 days ago
bug good first issue module::solve confirmed
tuProlog/2p-kt
116

A Kotlin Multi-Platform ecosystem for symbolic AI

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