2p-kt
A Kotlin Multi-Platform ecosystem for symbolic AI
APACHE-2.0 License
Bot releases are hidden (Show)
Published by gciatto about 4 years ago
CHANGELOG
ee678d1c update ktlint
0acf2866 use static factories for Libraries
39a16771 more js names
e9cff40d use kt-math 0.2.2
2017ddc2 fix package.json for all js packages
Published by gciatto about 4 years ago
CHANGELOG
aa9654d9 fix publishing of :parser-js
Published by gciatto about 4 years ago
CHANGELOG
8ddef0c4 check code in build stage during ci
34a668ec update Versions.kt
31f71b61 cleanup build.gradle in :parser-js
28f0f968 Merge branch 'feature/js-parsing' into 'develop'
c0459385 remove antlr and js code from :parser-js, replace with NPM dependency from @tuprolog/parser-utils
ce557d54 + all dependencies in root-project
a56f7370 Merge branch 'feature/ktlint' into 'develop'
1af78ac3 ktlint check in test stage
cdfc4073 add ktlint check to ci
cbae0a43 format code in root project
1ba58795 format code in :parser-jvm
18e25d2a format code in :examples
7b539b72 format code in :serialization-theory
9009a60a format code in :serialization-core
fdbfeac3 format code in :repl
890d9357 format code in :parser-theory
76e88d27 fix Signature
abe986aa remove bulk imports in :solve-streams/src/commonTest
ef02c069 basic formatting in :solve-streams/src/commonTest
00b4b7d6 revert formatting of solve-streams/src/commonMain
b153124c kotlin.mpp.stability.nowarn=true
66f94ba8 format code in :parser-core
9a434214 format code in :parser-js (+ enable test for hex numbers lexing)
f0fead75 format code in :parser-core
63d9abd0 format code in :dsl-theory
7c0f62ea fix sleep/1
30eafdb2 format code in :dsl-solve
5495de2e format code in :dsl-unify
abf1c7ab format code in :dsl-core
658aa7c8 format code in :test-solve
b8b465e0 format code in :solve-streams
63c33961 format code in :solve-classic
7959b043 format code in :solve
a873b669 format code in :theory
e8c97fd3 format code in :unify
51f65473 format commonTest in :core
0bca846d format commonMain in :core
9b2569d0 format :core code through ktlint
cd6a158d + ktlint-gradle plugin
Published by gciatto about 4 years ago
CHANGELOG
99d608c2 fix presentation of variables in :repl
Published by gciatto about 4 years ago
CHANGELOG
d6ee2669 add link to documentation in readme
488790bc update to kotlin 1.4.10 and kt-math 0.2.0
029ffe4b throw missing predicate warning/error only if the predicate is actually missing in :solve-classic
Published by gciatto about 4 years ago
CHANGELOG
Published by gciatto about 4 years ago
CHANGELOG
bbd63f9b ignore failing tests for :solve-streams
e3df13e2 fix Greco's tests for js interoperability
5df8904a fix NegationAsFailure
421bf34e unignore tests in TestStreamsCall.kt
9ed465d2 fix funtor/3 wrt tests
3a24578b Merge branch 'feature/testing' of gitlab.com:pika-lab/theses/thesis-greco-aa1920 into feature/testing
3057d739 Merge branch 'develop' into feature/testing
d1897549 Merge branch 'feature/libraries' into feature/testing
e873015a make configureJsPackage optional for rootProject
0ecd735c fix broken Lanzoni's tests in test-solve
b27da475 fix broken Lanzoni's tests about term ordering
61c61f8d fix Lanzoni's tests
343057bf + tests for atom_chars/2
0a80567c + atom_chars/2
75c50a24 add factory method TypeError.forArgumentList
0ac0c26d Merge branch 'develop' into feature/libraries
d4c2a391 fix TestTermImpl
5b348db0 Test NotProvable implementation
1c9477ca Test Retract implementation
88a521d6 Test Float implementation
771a01bc Test Call implementation
e631afb3 Test Is implementation
fda1f57d Test If-Then-Else implementation
0481b6d4 Test If-Then implementation
e59ca071 Merge branch 'feature/testing' of gitlab.com:pika-lab/theses/thesis-greco-aa1920 into feature/testing
4a7ce6e2 Test Functor implementation
8849a05a Merge branch 'feature/testing' of gitlab.com:pika-lab/theses/thesis-greco-aa1920 into feature/testing
36d9b69a Test Cut implementation
1d235256 Test Number implementation
b6d68470 make ad-hoc OutputChannel for warnings
3cc09f70 Test Term(diff,eq,gt,gt_eq,lt,lt_eq) implementation
ac549795 Test Integer implementation
d5e9227c Test Integer implementation
12ad9de4 Merge branch 'feature/kt-1.4.0' into feature/testing
c7d30abc update gradlew to 6.6.1, kotlin to 1.4.0, kt-math to 0.1.4, clikt to 2.8.0
e31fe814 fix test TestNotUnify.testDecNumberNotUnify for js
24e6a122 replicate Greco's tests for streams
143aeb06 make builds run on offline pcs as well
25c562f1 add tests in TestProlog to keep track that "-3" is evalued as "-3.0" on js
fc8a54e3 fix Greco's tests to support cumbersome creation of numbers on js
9d983d7a cleanup Greco's code
dc64d6a4 remove repeated code in Greco's sources, again
03bc5b5f Merge branch 'feature/testing' of gitlab.com:pika-lab/theses/thesis-greco-aa1920 into feature/testing
daa56809 remove repeated code in Greco's sources
f9960d60 Test NotUnify implementation
72a77c1d Merge branch 'feature/testing' of gitlab.com:pika-lab/theses/thesis-greco-aa1920 into feature/testing
626ccef3 ignore failing tests in TestStreamsSolver
5e90b70e fix findall to pass tests in TestFindAll
bab7caca edit the TuPrologRuntimeException type hierarchy to support a stack of ExecutionContexts for each exception, making MetaError useless
04555351 Test Atomic implementation
Published by gciatto over 4 years ago
CHANGELOG
0ee4bb29 Merge branch 'feature/solve-streams-side-effects-alignment' into 'develop'
1f92979f Merge branch 'feature/java-interop' into 'develop'
a5253627 Merge branch 'feature/thread-safety' into 'develop'
15f4d79c add jsnames in overloads for SolveFactory
020ccb2e make SimpleLRUCache thread safe
156d6345 some overloads in Solver and SolverFactory.kt
9211e318 remove kotlin-reflect dependency from :core
d781ca0f add test for cached unificator thread safety
5dcdef40 Merge branch 'feature/thread-safety' into 'develop'
881f24e0 make LRUCache thread-safe
254fbda1 make variables numbering increase on a per simple name basis
b3b6a492 Correctly implemented management of SideEffects in Conjunction.kt for solve-streams; removed partial reification of sideEffects in StateEnd.kt; added utility method to avoid sideEffects duplication... streams solver ignored test still not passing... more debugging needed (it seems findall is not giving back the found substitutions)
Published by gciatto over 4 years ago
CHANGELOG
d75daf9b improve readme presentation
d7ef66f1 Merge branch 'develop'
0bb2fc45 increase time for retract-related tests
fb1542d0 Merge branch 'feature/solve-streams-side-effects-alignment' into develop
abaf9125 Merge branch 'develop' of gitlab.com:pika-lab/tuprolog/2p-in-kotlin into develop
6523be34 Merge branch 'feature/serialization' into 'develop'
61868e2c fix jsnames in Libraries
6e086162 fix js and jvm names for library-related stuff
3200a451 Implemented propagation of side effects in StateGoalEvaluation.kt returned end states, according to Conjunction pattern
26057680 + yed-based project map
00fccd2b increase timeout for gradle
08e40346 add minimal testing for serialize-theory
83282534 fix lists serialization and factorise ObjsectsUtils
e9685679 fix tests in test-solve
eed875a0 edit common primitives to exploit the side effects builder
bf19f501 + reply methods in Solve.Request for building side effects
5984a50a + side effects factory or builder
8e073924 move Solve in it.unibo.tuprolog.solve.primitive
48bbe1fe Added Giovanni's fix to Conjunction.kt
3daefd46 optimizations
16ba1472 Copy bugfix of Solve class
d0f9ba4b My version of first three broken commits (more clean, less modifications)
2e92aa73 + test stub for theory serialization
0db238c2 fix visibility in :serialize-*
6395d912 fix theory objectifiers
f98e1d47 theory serialization
a3b37c9e serialize and deserialize many at once
c2aec750 clean before assemble in ci
5c710a85 tests in TestTermDeserializer pass
8dcbae48 fix representation of Reals
4cd8b7b1 all tests in TestTermSerializer pass
0b0a1c24 minor fixes in serialize-core
40fe9a00 implement serialize-core in js
73235ed3 minor improvements
2e01312d jvm implementation should be ok
75cbb6e4 jvm interfaces
64471a6b Objectifier and Deobjectifier interfaces
fd05858c interfaces are ok
f15c0d1e :serialization-* --> :serialize-*
5c3fb221 set up serialization-* projects
5ed81d55 Merge branch 'feature/arg2p-integration' into develop
070b0858 add overloads for ExecutionContext.apply in StreamsExecutionContext
476ab061 remove ambiguities from Solve.Response constructors
73d0e0e5 reimplement Retract
581f84bd enable testSideEffectsPersistentAfterBacktracking1 in ClassicSolverSystemTesting
a0e31901 adapt builtin primitives to the new side effects API
e60f7a05 handle primitives side effects in classic FSM
a7ba4670 fix bug in IndexedTheory.retract
7a643e3e fix bug in ExecutionContext.apply
8c67f8e7 [broken] change the nature of Solve.Response (and update the Solve.Request.reply* methods accordingly)
Published by gciatto over 4 years ago
CHANGELOG
39307563 Merge branch 'feature/theory' into 'develop'
3c2312f7 update tests for member/2, showing that 92 is fixed
bc2fafaa optimize AbstractUnificator
7fca6efa fix minor hub in AbstractUnificator.kt
284e9ae7 add tests for unification where (member([a(X)], [[b(1)]]):-B) \= (member(H, [H|_]):-true) is tested
02bab830 add tests for theories
b2de3789 move things in TheoryUtils.kt
5cf72bed Merge branch 'feature/arg2p-integration' into feature/theory
18860f06 actually fix #89
f338cd1e improve tests for unification in clause retrieval
0bbafa14 more tests for clause collections
9e6bc9e3 minor improvements in StateRuleSelection.kt
25b1ba11 fix #89
121aecc4 improve backtracking
2301547c more ram for :solve-streams
29c49023 improve readme
ab5b6800 fix #88
c87608fa [wip] rename tests according to class names
a953b75d [wip] add test for corner case in clause indexing
b7ef4911 Merge branch 'develop' into feature/arg2p-integration
0da0d518 update to gradle 6.5, and orchid 0.21.0
e52f64b6 Functor/3 fix
f3e8e0f8 + const in Info.kt
53d98fff functor/3 and =../2 test
d7439ce6 Merge branch 'feature/solve-streams-timeouts-alignment' into 'develop'
2f534211 Merge branch 'develop' into feature/solve-streams-timeouts-alignment
7881c6e8 Merge branch '87-issue-in-feature-solve-streams-timeouts-alignment' into 'feature/solve-streams-timeouts-alignment'
21513004 Restored changes committed in #ab9baeddb3f35114e65ea4a856d14909d8f35727 and reverted during refactoring of SolveTest in commit #46afeaf4a6862d5d2de2da1b2af256c3c22aa312 after one month. Also remove redundant "maxDuration" getter (which name was also misleading) replacing with now equivalent "mediumDuration" in all places.
dd2bd6d9 Merge branch 'develop' into feature/solve-streams-timeouts-alignment
cada251d mochatimouts to 60s for the whole project
3a14c936 Merge branch 'develop' into feature/solve-streams-timeouts-alignment
6249b0c1 Modified logic of solve-streams w.r.t. timeouts and re-enabled related tests
Published by gciatto over 4 years ago
CHANGELOG
2301547c more ram for :solve-streams
29c49023 improve readme
ab5b6800 fix #88
c87608fa [wip] rename tests according to class names
a953b75d [wip] add test for corner case in clause indexing
b7ef4911 Merge branch 'develop' into feature/arg2p-integration
0da0d518 update to gradle 6.5, and orchid 0.21.0
e52f64b6 Functor/3 fix
f3e8e0f8 + const in Info.kt
53d98fff functor/3 and =../2 test
d7439ce6 Merge branch 'feature/solve-streams-timeouts-alignment' into 'develop'
2f534211 Merge branch 'develop' into feature/solve-streams-timeouts-alignment
7881c6e8 Merge branch '87-issue-in-feature-solve-streams-timeouts-alignment' into 'feature/solve-streams-timeouts-alignment'
21513004 Restored changes committed in #ab9baeddb3f35114e65ea4a856d14909d8f35727 and reverted during refactoring of SolveTest in commit #46afeaf4a6862d5d2de2da1b2af256c3c22aa312 after one month. Also remove redundant "maxDuration" getter (which name was also misleading) replacing with now equivalent "mediumDuration" in all places.
dd2bd6d9 Merge branch 'develop' into feature/solve-streams-timeouts-alignment
cada251d mochatimouts to 60s for the whole project
3a14c936 Merge branch 'develop' into feature/solve-streams-timeouts-alignment
6249b0c1 Modified logic of solve-streams w.r.t. timeouts and re-enabled related tests
Published by gciatto over 4 years ago
CHANGELOG
d7439ce6 Merge branch 'feature/solve-streams-timeouts-alignment' into 'develop'
2f534211 Merge branch 'develop' into feature/solve-streams-timeouts-alignment
7881c6e8 Merge branch '87-issue-in-feature-solve-streams-timeouts-alignment' into 'feature/solve-streams-timeouts-alignment'
21513004 Restored changes committed in #ab9baeddb3f35114e65ea4a856d14909d8f35727 and reverted during refactoring of SolveTest in commit #46afeaf4a6862d5d2de2da1b2af256c3c22aa312 after one month. Also remove redundant "maxDuration" getter (which name was also misleading) replacing with now equivalent "mediumDuration" in all places.
dd2bd6d9 Merge branch 'develop' into feature/solve-streams-timeouts-alignment
cada251d mochatimouts to 60s for the whole project
3a14c936 Merge branch 'develop' into feature/solve-streams-timeouts-alignment
6249b0c1 Modified logic of solve-streams w.r.t. timeouts and re-enabled related tests
Published by gciatto over 4 years ago
CHANGELOG
fe9a9a41 automate publication on maven central for branch master, and release
Published by gciatto over 4 years ago
CHANGELOG
160cf509 let StateGoalSelection propagate operators, input channels, and output channels to parent context
dea79b0c + op/3
c54b23b7 add DomainError and its relative type ensuring methods
5cfa5abf add factory Operator.fromTerms
e11115ec + current_op/3
4519e38a Merge branch 'feature/parser' into 'develop'
e37d33e3 Merge branch 'develop' of gitlab.com:pika-lab/tuprolog/2p-in-kotlin into develop
785ba383 Merge branch 'feature/arg2p' into develop
30aff0be fix broken DummyInstances file
03eb22ad make :repl operators sensitive
507574bb automatically generate Info.kt file in :core
c16ba2b5 add support for operators table in Solver
7782f5ed Merge branch 'feature/parser' into 'develop'
538c7b2f add op/3 support in js as well
b38867b3 fix DynamicOpListener in JVM
93a90405 Merge branch 'develop' into feature/arg2p
aac4bb54 fix MathFunctions to fix broken tests
27d8537f improve implementation of functor/3 and =../2
b767a3e2 Merge branch 'develop' into feature/arg2p
e01180de Built-ins functor/3 and =../2 implementation
82ec8c68 Built-ins functor/3 and =../2 implementation
cdc872a5 move abstract function base classes in package it.unibo.tuprolog.solve.function
afc09b21 fix ArithmeticRelation to pass broken tests in :test-solve
003cc1c6 improve prolog errors construction
78fe7310 minor bug fixes to ArithmeticRelation.kt
add79a79 fix built-in primitives with new wrappers hierarchy
86a6589f fix primitive wrappers hierarchy
b8b1f42a move support wrappers classes for primitives in it.unibo.tuprolog.solve.primitive
8a9e10c3 Merge branch 'documentation' into develop
f24ec768 console=plain in whole gradle
52ffb4db Merge branch 'documentation' of gitlab.com:pika-lab/courses/as/projects/sa-project-rizzato-1920 into documentation
d29e091e Merge branch 'master' into documentation
a6bc8ede fix example indentation
c46c6caa Merge branch 'documentation' of https://gitlab.com/pika-lab/courses/as/projects/sa-project-rizzato-1920 into documentation
ca01550c + unification chapter
bd365409 Merge branch 'develop' into documentation
4b2209d5 change -> to =
cb467a26 fix text
f7c64526 + substitutions chapter
Published by gciatto over 4 years ago
CHANGELOG
095cd405 add sleep/1 and retract/1 to api test
4c8b6e52 add system test for natural/1
61b0373d fix bug :repl concerning the way solutions are consumed
2b000fb5 fix bug in backtracking of primitives for :solve-classic
182c9ecd add tests for asser*/1 and retract/1
e5f7031e let asser*/1 accept rules
faa30d80 add retract/1
Published by gciatto over 4 years ago
CHANGELOG
355e12a0 ignore testTimeout3 and testTimeout4 for :solve-streams
d961a89d fix tests on time-related behaviours and make sleep/1 a standard builtin
552db2de change :repl option names
3b841214 raname shadow jar for :repl
3f923005 fix timeout issue in slowly consumed solution streams
fe1d0c39 add run task for repl
09c4b62c use solution iterator in ClassicSolver
f28d056e actually upload repl redist jar to github through ci
42cb5cbb include :repl shadowJar in github release
d4b07541 + shadowJar for :repl
d6a7825d + repl project
3f025e1e use clikt-multiplatform
85a24f88 create :repl project and import clikt
5440fc97 update gradle wrapper to 6.4.1
684a0d67 Merge branch 'develop' into feature/examples
35228e78 Merge branch 'feature/examples' of gitlab.com:pika-lab/courses/as/projects/sa-project-rizzato-1920 into feature/examples
d80da7ae + custom unificator example
17a8a8fb Merge branch 'feature/examples' of gitlab.com:pika-lab/courses/as/projects/sa-project-rizzato-1920 into feature/examples
eaf7c6b6 Merge branch 'develop' into feature/examples
bca9d4f0 + substitution creation example
2b214a08 change example names
59a2cdae + substitution chain example
a5963b5b + substitution contradiction example
903db05c + substitution composition example
0dbc48d3 + substitution applyTo() example
80080119 + cached unification example
2120a2df Merge branch 'feature/examples' of https://gitlab.com/pika-lab/courses/as/projects/sa-project-rizzato-1920 into feature/examples
b59daf34 + unification w/o occurs-check example
374937f5 specify explicit types in unification examples
81705569 + unification fail example
892e895f more examples
54235ce7 Merge branch 'develop' into feature/examples
83ea0bdd Merge branch 'develop' into feature/examples
628ff391 split examples into different packages
49e10c1d + unification infix methods example
fd5e787d fix term name
a131e661 + unification example
adc2da12 Merge branch 'develop' into feature/examples
61d9048a Merge branch 'master' into feature/examples
9a9aa651 + setup examples project
Published by gciatto over 4 years ago
CHANGELOG
7b77b0d6 fix static jsnames in clause collections
8906a144 tests for equals, hashCode in clause collections
360139b3 implement equals, hashCode, and toString for clause collections
da091566 ClauseDatabase references from AbstractTheory
0b9a10e4 remove ClauseDatabase references in Theory comments
879dd367 code review for AbstractTheory hierarchy
02ebb571 + jsnames, jvmstatic, and factories in :theory
0c1289fe fix constructors in Theory
d491f08d rename ClauseDatabase to Theory
fea54c04 rename ClauseDatabase to Theory
4c290346 add Manuel to CONTRIBUTORS
7313e29d fix ClauseCollectionTests
6c8e57ff fix unordered rete tree and its tests
0aaf1cea split FunctorNode into three files
3c73776c split ArityNode into three files
368601f2 simplify Cacheables
1e8a7415 ordered rete tree is ok
f13d6694 keep track of traversed cacheables in IndexedClauses
74562456 extending indexed clauses
bb01b664 Merge branch 'feature/theory' into feature/theory-suggestions
05d73038 fixed unordered test
333297e0 fix FunctorNode
31591da9 fixed missing exception on unordered assertA
a17cceed add forcefully propagation of cache recalculation
4e1fdcd8 improving cache management
fd0669f0 quicker tests
a4be5c31 more tests for OrderedReteTree
5dc5f8c9 tests for UnorderedReteTree
2df05872 more tests for OrderedReteTree
b8ce511e improve ordered rete tree testing
d53d292a enable assertA-related tests in solve-*
a4debf36 Merge branch 'feature/theory' of gitlab.com:pika-lab/courses/as/projects/sa-project-bonarrigo-1920 into feature/theory
7329aa49 use higher arity facts and rules
42724928 typo
961535fd Merge branch 'feature/theory' of https://gitlab.com/pika-lab/courses/as/projects/sa-project-bonarrigo-1920 into feature/theory
5a483736 fixed typos, redundant declaration, removed comments, add documentation
1c7a61b3 Merge branch 'feature/theory' of https://gitlab.com/pika-lab/courses/as/projects/sa-project-bonarrigo-1920 into feature/theory
471857bf fixed retract all on anonimous query
8106ea79 + aTreeCanAlwaysRetrieveTheClausesItContains test + 0-ary rules
65ef62ea Merge branch 'feature/theory' of gitlab.com:pika-lab/courses/as/projects/sa-project-bonarrigo-1920 into feature/theory
9d072d52 more facts and rules
e6ed18d8 partially solved some test
8c1e3271 fix test anOrderedTreeRetractsClausesInAOrderSensitiveWay2
d702ffa6 Merge branch 'feature/theory' of gitlab.com:pika-lab/courses/as/projects/sa-project-bonarrigo-1920 into feature/theory
27a964b3 fix merge conflict again
c21d35cb fix merge conflict
1d67a54e solve merge conflict
8fd08672 preparing for merge conflict
3d18f906 more tests in OrderedReteTreeTest
e30e1258 more tests in OrderedReteTreeTest
Published by gciatto over 4 years ago
CHANGELOG
61ea95e8 Merge branch 'feature/caches' into develop
96da2e93 make decorator for caching Unificators
d19a4238 lru caches in AbstractUnificator
05656ed7 minimal tests for lru caches
18dcc4a5 js name for equalsUsingVarCompleteNames
70a40986 type testing properties in Solution
0650aa2c + lru cache
4cae84f4 + wrong lru cache
7a4ddbcd implementation classes for Cursor in it.unibo.tuprolog.utils.impl
f56eb1bc move it.unibo.tuprolog.utils.* in :core
54ddcd17 consts in Repos.kt
da786d7a TermImpl.{hashCode -> hashCodeCache} to avoid name clashes
4e095612 cache hashcodes in terms
c8c5d3a2 add Term.equals(Term, Boolean)
149769cc remove deprecated method Term.isBound
32abec08 avoid next state caching for states in :solve-classic
56c2ce78 reset start time in next state computation for StateEnd
1037059c add tests for findall/
0b7e4785 add unit tests for type testing primitives
7076e9a0 change time thresholds for js tests in :solve-streams
12588fda Merge branch 'develop' into feature/resolution
03093b29 use Google mirrors for maven central
51c22da8 fix mini bug in testing
46afeaf4 use common interface for SolverTest
59102b14 use solverWithDefaultBuiltins in SolverTestPrototype
14338c91 extract utility methods from SolverTestPrototype
388ab860 + findall/3 implementation
c6e96023 missing override in DummyInstances.kt
045a760d optimize imports for :solve-*
5785301a it.unibo.tuprolog.solve.library.stdlib -> it.unibo.tuprolog.solve.stdlib
4efe29a6 sub solver in primitives requests
0f3d31d5 use kotlin lists for ExecutionContext.prologStackTrace
Published by gciatto over 4 years ago
CHANGELOG
18dcc4a5 js name for equalsUsingVarCompleteNames
70a40986 type testing properties in Solution
54ddcd17 consts in Repos.kt
da786d7a TermImpl.{hashCode -> hashCodeCache} to avoid name clashes
4e095612 cache hashcodes in terms
c8c5d3a2 add Term.equals(Term, Boolean)
149769cc remove deprecated method Term.isBound
32abec08 avoid next state caching for states in :solve-classic
56c2ce78 reset start time in next state computation for StateEnd
1037059c add tests for findall/
0b7e4785 add unit tests for type testing primitives
7076e9a0 change time thresholds for js tests in :solve-streams
12588fda Merge branch 'develop' into feature/resolution
03093b29 use Google mirrors for maven central
51c22da8 fix mini bug in testing
46afeaf4 use common interface for SolverTest
59102b14 use solverWithDefaultBuiltins in SolverTestPrototype
14338c91 extract utility methods from SolverTestPrototype
388ab860 + findall/3 implementation
c6e96023 missing override in DummyInstances.kt
045a760d optimize imports for :solve-*
5785301a it.unibo.tuprolog.solve.library.stdlib -> it.unibo.tuprolog.solve.stdlib
4efe29a6 sub solver in primitives requests
0f3d31d5 use kotlin lists for ExecutionContext.prologStackTrace
Published by gciatto over 4 years ago
CHANGELOG
b9079086 fix Truth tests
707bb52b fix initialization issues in Truth
61ea95e8 Merge branch 'feature/caches' into develop
96da2e93 make decorator for caching Unificators
d19a4238 lru caches in AbstractUnificator
05656ed7 minimal tests for lru caches
18dcc4a5 js name for equalsUsingVarCompleteNames
70a40986 type testing properties in Solution
0650aa2c + lru cache
4cae84f4 + wrong lru cache
7a4ddbcd implementation classes for Cursor in it.unibo.tuprolog.utils.impl
f56eb1bc move it.unibo.tuprolog.utils.* in :core
54ddcd17 consts in Repos.kt
da786d7a TermImpl.{hashCode -> hashCodeCache} to avoid name clashes
4e095612 cache hashcodes in terms
c8c5d3a2 add Term.equals(Term, Boolean)
149769cc remove deprecated method Term.isBound
32abec08 avoid next state caching for states in :solve-classic
56c2ce78 reset start time in next state computation for StateEnd
1037059c add tests for findall/
0b7e4785 add unit tests for type testing primitives
7076e9a0 change time thresholds for js tests in :solve-streams
12588fda Merge branch 'develop' into feature/resolution
03093b29 use Google mirrors for maven central
51c22da8 fix mini bug in testing
46afeaf4 use common interface for SolverTest
59102b14 use solverWithDefaultBuiltins in SolverTestPrototype
14338c91 extract utility methods from SolverTestPrototype
388ab860 + findall/3 implementation
c6e96023 missing override in DummyInstances.kt
045a760d optimize imports for :solve-*
5785301a it.unibo.tuprolog.solve.library.stdlib -> it.unibo.tuprolog.solve.stdlib
4efe29a6 sub solver in primitives requests
0f3d31d5 use kotlin lists for ExecutionContext.prologStackTrace