it.unibo.tuprolog:solve-concurrent (maven): Experimental, state-machine-based implementation of an OR-Concurrent, Prolog-like logic solver, based on Kotlin coroutines
Keywords: 2p|java|javascript|js|jvm|kotlin|kotlin-multi-platform|kotlin-multiplatform|logic-programming|prolog|simbolic-ai|symbolic|tuprolog