implementation("it.unibo.tuprolog:solve-streams:1.1.3")
Experimental, functional-programming-based implementation of Prolog's SLDNF resolution principle