Releases: tuProlog/2p-kt
0.20.4-dev5k+892dc05f
fix(ci): avoid signing unnecessary artifacts upon deploy
0.20.4
0.20.3
CHANGELOG
c94640c + improve js api
51892bb + full package
cffa538 + problog examples
ed7d867 + probablistic solver example
abc373f improve management of probabilistic operators
0183f5a make usage of Solver factories consistent with deprecations
acc711a add factories for prolog and problog solvers, and their tests
7153258 fix packages in solve-plp and solver-problog
0.20.2
0.20.1
0.20.0
CHANGELOG
f6956cc Merge branch 'feature/prob-lib' into 'develop'
f08ce68 update readme for plp
abb544c update project map
86c364b make createDefaultBinaryDecisionDiagramBuilder common code
9db5a5f perform renaming of probabilistic modules
52d63c7 Merge branch 'master' into feature/prob-lib
b117431 Improve graph rendering UX and logic
b85f14b Improve prob-ide UX
520b4f6 Fix broken tests
1ff5ef7 Merge branch 'develop' into feature/prob-lib
879fd39 Implement Prob IDE
63a3c29 Add BDDs on solutions
10f49ba Update to latest version
c721871 Merge branch 'develop' of https://gitlab.com/pika-lab/tuprolog/2p-in-kotlin into feature/prob-lib
72bcb93 Renaming test
3f237ee Add new tests
cfe3b81 Fix-ups
2763a9f Renaming
13135c7 Make BDD module multi-platform
d2ca651 Refactor DOT notation support
f9bc582 Refactor BDD package
d3ff996 Full Prolog support reached
a8298ee Fix other tests
b5e90cd Add Prolog test, improve compatibility, fix bugs
e4ccc60 Support cut and propagate HALT errors
142817c Fix solver
4eea96a Support recursive queries
b47aa12 Align with new Solver interface
72d4ecf Fix broken primitives
a5d667c Solve merge conflicts
cc6cbb3 Merge branch 'develop' into feature/prob-lib
0c16820 Lint
6368b09 Merge branch 'feature/prob-lib-aligned' of https://gitlab.com/pika-lab/theses/thesis-dellaluce-aa2021 into feature/prob-lib
c50d04a Optimize primitives
0bf1930 Add minor optimization
d2f1100 Implement apply-then-expansion optimization
6f1d090 Merge branch 'develop' into feature/prob-lib-aligned
0260fb8 Support Prolog-optimized queries (Prolog mode)
2eb807e Make BDDs interfaces
d67f399 Make BDD module standalone
a0354cb Set default prob to 1
5d8a71c Delete ProbSolution and use tags
72271df Update theory impl
28ee88d Refactor and improve performance
1c9ca37 Merge branch 'feature/prob-lib-aligned' of https://gitlab.com/pika-lab/theses/thesis-dellaluce-aa2021 into feature/prob-lib
d516bd6 Merge branch 'feature/metadata' into feature/prob-lib-aligned
a1feb43 Merge branch 'feature/prob-lib-aligned' of https://gitlab.com/pika-lab/theses/thesis-dellaluce-aa2021 into feature/prob-lib
a8077b9 + example of probability via tags
5f39c2d Merge branch 'feature/metadata' into feature/prob-lib-aligned
1316371 + probability tag example
0.19.0
CHANGELOG
0b12c4a change order of arguments Library.aliases and Library.unaliased to make them more comfortable to the java programmer
1054ca3 change order of arguments Library.aliases and Library.unaliased to make them more comfortable to the java programmer
eda9f62 make primitive wrapper's functions static on jvm
31c45e4 Merge branch 'feature/examples' into develop
8a33e2b add example on Primitives creation in java
a1bd2a9 Merge branch 'feature/renaming' into 'develop'
b112313 update json/yaml serialization with the renaming Set -> Block
13957e4 Merge branch 'develop' into feature/examples
2642bd7 fix ReadEditSolve examples on both Kt and Java
f3587ed + ReadEditSolve examples on both Kt and Java
cca317d Merge branch 'master' into feature/examples
97c182a Merge branch 'feature/renaming' into 'develop'
c67612d fix warnings
766e4ea Collection -> Recursive
72506c7 Merge branch 'feature/renaming' into 'develop'
f687515 rename other prolog-named properties
707128e make solution type hierarchy sealed
91ecf56 make substitution type hierarchy sealed
3edd437 adapt solve-* tests to the new definition of Primitive and LogicFunction
77b645e avoid warning in AbstractEvaluator.kt
9afde4b make Primitive a functional interface
0a3593e rename LogicFunction name
3d96b0b make LogicFunction an interface
86479ac rename PrologFunction -> LogicFunction
5507f63 rename PrologIDE* -> TuPrologIDE*
3d64be4 Merge branch 'feature/renaming' into 'develop'
b8e5855 format Halt1
6977eca rename Term.isVariable -> .isVar, Term.isInt -> .isInteger, for uniformity reasons
ab00746 fix theory serialization tests
3fdb1e6 improve message in HaltException
80984d7 rename set/current_prolog_flag -> set/current_flag, adding rules for backward compatibility
e92f639 rename ToTermConvertible -> TermConvertible
a67484b (addressing #142) rename PrologIDE* -> TuPrologIDE* in :ide
419bb4d (addressing #142) rename PrologWarning -> Warning
03d65cd (addressing #142) rename PrologError -> LogicError
0510dc0 (addressing #142) rename TuPrologRuntimeException -> ResolutionException
33c52c5 rename Set -> Block in parser-js
df1d3a5 rename Set -> Block in parser-jvm
6671e8a rename Set -> Block (closing #70)
76e816e Merge branch 'hotfix/reader-channel' into feature/examples
7cdff52 Merge branch 'hotfix/expression-reducer' into feature/examples
d268674 more examples about solvers
0.18.2
0.18.1
0.18.0
CHANGELOG
525f51e update versions in readme.md
736db66 update gradlew to 7.1
a89f03d make lazy lists be copied lazily, while eager lists are copied eagerly (closing #149)
27212d7 support BigLists generation up to 10_000 items
cf6d4e1 optimize abstract unificator
e3b69b3 optimise cursors
08dc050 optimize List.last property
a41a771 separate AbstractStruct and StructImpl
53a6df1 make ConsImpl, TupleImpl, and SetImpl compute groundness upon creation
3a9d85f use caching in MapperCursor
0b5c15b make LazyCons* implementations generate lazy argument lists
73fe7ae remove Struct.argsArray
5ddd089 Struct.args -> .argsArray (deprecated), Struct.argsList -> Struct.args
6c8a5be restore StateRuleSelection
c856338 restore full buffering in rules selection
a1160f8 Merge branch 'feature/avoid-type-testing' into 'develop'
4397ac1 fix LazyCursor
acfde80 removing useless type tests form solve-classic
1969f84 remove even more unattended type tests
dccb7f6 tweak comparison among terms
bbb416e remove useless usage of as operator in :core
2429994 remove useless usage of as operator in :core
f4cd6d6 avoid time consuming to-collection cast in CollectionImpl
45ac40f remove useless type tests and casts from :theory
3528e22 fix AbstractTermFormatter
095df00 remove selectors
f94697a keep track of edited files
5b2bbd3 enlarge BigList test size on js
4103328 reformat
32f123a use linked lists in AbstractUnificator
8a813c5 fix tests in :unify
b30f896 remove useless type tests in :unify
e349a96 remove useless type tests equations
53f6947 remove useless type tests for cursors
33c8bbf reformat code
e2ad239 fine tune the efficiency of Lists
8657cc3 + WhenStruct selector
c500a69 make Selectors.kt compile by removing method reverence
6e5d7c5 fix new implementation of SetIterator
3375bbe implement some selectors on the js side
80ff5d2 remove usage of is and as operators in :core
5cfba75 start removing usages of is operator
fa50973 add stub for platform-specific, visitor-based selectors
05ca875 fix AbstractTermFormatter for js
2a1b022 change the semantics of TermVisitor to improve its design
7e9a6f2 format code
96d03c3 optimise lists in such a way that they are initially eager and start working lazily after a given length
5d81a2d optimise MapperCursor
f56209e try to implement mapping cursors resetting fields after usage
d1a3e49 use ConsImpl when creating lists from kt lists