0.8.0-dev0y+b9079086

CHANGELOG

b907908 fix Truth tests
707bb52 fix initialization issues in Truth
61ea95e Merge branch 'feature/caches' into develop
96da2e9 make decorator for caching Unificators
d19a423 lru caches in AbstractUnificator
05656ed minimal tests for lru caches
18dcc4a js name for equalsUsingVarCompleteNames
70a4098 type testing properties in Solution
0650aa2 + lru cache
4cae84f + wrong lru cache
7a4ddbc implementation classes for Cursor in it.unibo.tuprolog.utils.impl
f56eb1b move it.unibo.tuprolog.utils.* in :core
54ddcd1 consts in Repos.kt
da786d7 TermImpl.{hashCode -> hashCodeCache} to avoid name clashes
4e09561 cache hashcodes in terms
c8c5d3a add Term.equals(Term, Boolean)
149769c remove deprecated method Term.isBound
32abec0 avoid next state caching for states in :solve-classic
56c2ce7 reset start time in next state computation for StateEnd
1037059 add tests for findall/
0b7e478 add unit tests for type testing primitives
7076e9a change time thresholds for js tests in :solve-streams
12588fd Merge branch 'develop' into feature/resolution
03093b2 use Google mirrors for maven central
51c22da fix mini bug in testing
46afeaf use common interface for SolverTest
59102b1 use solverWithDefaultBuiltins in SolverTestPrototype
14338c9 extract utility methods from SolverTestPrototype
388ab86 + findall/3 implementation
c6e9602 missing override in DummyInstances.kt
045a760 optimize imports for :solve-*
5785301 it.unibo.tuprolog.solve.library.stdlib -> it.unibo.tuprolog.solve.stdlib
4efe29a sub solver in primitives requests
0f3d31d use kotlin lists for ExecutionContext.prologStackTrace