Download all versions of solve-streams-jvm JAR files with all dependencies

solve-streams-jvm from group it.unibo.tuprolog (version 0.30.5)

Experimental, functional-programming-based implementation of Prolog's SLDNF resolution principle

Group: it.unibo.tuprolog Artifact: solve-streams-jvm
Show documentation Show source

0 downloads

Artifact solve-streams-jvm
Group it.unibo.tuprolog
Version 0.30.5
Last update 01. February 2023
Tags: based functional principle sldnf implementation experimental resolution programming prolog
Organization not specified
URL https://github.com/tuProlog/2p-kt
License Apache-2.0
Dependencies amount 4
Dependencies kotlin-stdlib-jdk8, kotlin-stdlib-common, solve-jvm, dsl-theory-jvm,
There are maybe transitive dependencies!

solve-streams-jvm from group it.unibo.tuprolog (version 0.30.4)

Experimental, functional-programming-based implementation of Prolog's SLDNF resolution principle

Group: it.unibo.tuprolog Artifact: solve-streams-jvm
Show documentation Show source

0 downloads

Artifact solve-streams-jvm
Group it.unibo.tuprolog
Version 0.30.4
Last update 20. November 2022
Tags: based functional principle sldnf implementation experimental resolution programming prolog
Organization not specified
URL https://github.com/tuProlog/2p-kt
License Apache-2.0
Dependencies amount 4
Dependencies kotlin-stdlib-jdk8, kotlin-stdlib-common, solve-jvm, dsl-theory-jvm,
There are maybe transitive dependencies!

solve-streams-jvm from group it.unibo.tuprolog (version 0.30.3-dev0a+69949374d)

Experimental, functional-programming-based implementation of Prolog's SLDNF resolution principle

Group: it.unibo.tuprolog Artifact: solve-streams-jvm
Show documentation Show source

0 downloads

Artifact solve-streams-jvm
Group it.unibo.tuprolog
Version 0.30.3-dev0a+69949374d
Last update 20. November 2022
Tags: based functional principle sldnf implementation experimental resolution programming prolog
Organization not specified
URL https://github.com/tuProlog/2p-kt
License Apache-2.0
Dependencies amount 4
Dependencies kotlin-stdlib-jdk8, kotlin-stdlib-common, solve-jvm, dsl-theory-jvm,
There are maybe transitive dependencies!

solve-streams-jvm from group it.unibo.tuprolog (version 0.30.3)

Experimental, functional-programming-based implementation of Prolog's SLDNF resolution principle

Group: it.unibo.tuprolog Artifact: solve-streams-jvm
Show documentation Show source

0 downloads

Artifact solve-streams-jvm
Group it.unibo.tuprolog
Version 0.30.3
Last update 12. October 2022
Tags: based functional principle sldnf implementation experimental resolution programming prolog
Organization not specified
URL https://github.com/tuProlog/2p-kt
License Apache-2.0
Dependencies amount 4
Dependencies kotlin-stdlib-jdk8, kotlin-stdlib-common, solve-jvm, dsl-theory-jvm,
There are maybe transitive dependencies!

solve-streams-jvm from group it.unibo.tuprolog (version 0.30.2-dev0f+259d7b5b)

Experimental, functional-programming-based implementation of Prolog's SLDNF resolution principle

Group: it.unibo.tuprolog Artifact: solve-streams-jvm
Show documentation Show source

0 downloads

Artifact solve-streams-jvm
Group it.unibo.tuprolog
Version 0.30.2-dev0f+259d7b5b
Last update 12. October 2022
Tags: based functional principle sldnf implementation experimental resolution programming prolog
Organization not specified
URL https://github.com/tuProlog/2p-kt
License Apache-2.0
Dependencies amount 4
Dependencies kotlin-stdlib-jdk8, kotlin-stdlib-common, solve-jvm, dsl-theory-jvm,
There are maybe transitive dependencies!

solve-streams-jvm from group it.unibo.tuprolog (version 0.30.2-dev08+5b060658)

Experimental, functional-programming-based implementation of Prolog's SLDNF resolution principle

Group: it.unibo.tuprolog Artifact: solve-streams-jvm
Show documentation Show source

0 downloads

Artifact solve-streams-jvm
Group it.unibo.tuprolog
Version 0.30.2-dev08+5b060658
Last update 12. October 2022
Tags: based functional principle sldnf implementation experimental resolution programming prolog
Organization not specified
URL https://github.com/tuProlog/2p-kt
License Apache-2.0
Dependencies amount 4
Dependencies kotlin-stdlib-jdk8, kotlin-stdlib-common, solve-jvm, dsl-theory-jvm,
There are maybe transitive dependencies!

solve-streams-jvm from group it.unibo.tuprolog (version 0.30.2)

Experimental, functional-programming-based implementation of Prolog's SLDNF resolution principle

Group: it.unibo.tuprolog Artifact: solve-streams-jvm
Show documentation Show source

0 downloads

Artifact solve-streams-jvm
Group it.unibo.tuprolog
Version 0.30.2
Last update 26. September 2022
Tags: based functional principle sldnf implementation experimental resolution programming prolog
Organization not specified
URL https://github.com/tuProlog/2p-kt
License Apache-2.0
Dependencies amount 4
Dependencies kotlin-stdlib-jdk8, kotlin-stdlib-common, solve-jvm, dsl-theory-jvm,
There are maybe transitive dependencies!

solve-streams-jvm from group it.unibo.tuprolog (version 0.30.1)

Experimental, functional-programming-based implementation of Prolog's SLDNF resolution principle

Group: it.unibo.tuprolog Artifact: solve-streams-jvm
Show documentation Show source

0 downloads

Artifact solve-streams-jvm
Group it.unibo.tuprolog
Version 0.30.1
Last update 26. September 2022
Tags: based functional principle sldnf implementation experimental resolution programming prolog
Organization not specified
URL https://github.com/tuProlog/2p-kt
License Apache-2.0
Dependencies amount 4
Dependencies kotlin-stdlib-jdk8, kotlin-stdlib-common, solve-jvm, dsl-theory-jvm,
There are maybe transitive dependencies!

solve-streams-jvm from group it.unibo.tuprolog (version 0.30.0-dev01+725eae35)

Experimental, functional-programming-based implementation of Prolog's SLDNF resolution principle

Group: it.unibo.tuprolog Artifact: solve-streams-jvm
Show documentation Show source

0 downloads

Artifact solve-streams-jvm
Group it.unibo.tuprolog
Version 0.30.0-dev01+725eae35
Last update 26. September 2022
Tags: based functional principle sldnf implementation experimental resolution programming prolog
Organization not specified
URL https://github.com/tuProlog/2p-kt
License Apache-2.0
Dependencies amount 4
Dependencies kotlin-stdlib-jdk8, kotlin-stdlib-common, solve-jvm, dsl-theory-jvm,
There are maybe transitive dependencies!

solve-streams-jvm from group it.unibo.tuprolog (version 0.30.0)

Experimental, functional-programming-based implementation of Prolog's SLDNF resolution principle

Group: it.unibo.tuprolog Artifact: solve-streams-jvm
Show documentation Show source

0 downloads

Artifact solve-streams-jvm
Group it.unibo.tuprolog
Version 0.30.0
Last update 23. September 2022
Tags: based functional principle sldnf implementation experimental resolution programming prolog
Organization not specified
URL https://github.com/tuProlog/2p-kt
License Apache-2.0
Dependencies amount 4
Dependencies kotlin-stdlib-jdk8, kotlin-stdlib-common, solve-jvm, dsl-theory-jvm,
There are maybe transitive dependencies!

Page 5 from 11 (items total 108)