-
0.20.4
improve portability on android by renaming methods with symbolic names
-
-
0.20.2
use kotlin 1.5.31 and kt-math 0.4.0
-
-
-
0.19.0
[BREAKING CHANGES] Several renamings and refactories to make the API more clear and Prolog-independent PrologWarning -> Warning PrologError -> LogicError set_prolog_flag -> set_flag current_prolog_flag -> current_flag PrologIDE* -> TuPrologIDE* PrologFunction -> LogicFunction prologStackTrace -> logicStackTrace Collection -> Recursive Set -> Block (including the way blocks are (de)serialized, and parsed) PrimtiveWrapper.wrappedImplementation -> .implementation + change the order of arguments in Library.(un)aliased
-
0.18.2
fix parsing of structures having truth values as functors
-
0.18.1
- fix behaviour of clause/2, closing #150 - avoid useless type testing in PrimitiveWrapper
-
0.18.0
- kotlin 1.5.x support - no more arrays in Struct (breaking change) - changed semantics and default implementation of TermVisitor (breaking change) - make several efficiency improvements mostly concerning the JS build (avoid relying in type testing)
-
-
0.17.3
remove useless dependency from kotlinx-coroutines-core in :io-lib
-
0.17.2
minor improvements in :ide, :oop-lib, and :core (enriched Clause API)
-
-
0.17.0
tail recursion, API improvements, bug fixing and more testing
-
0.16.1
+ make ide customisable + fix rendering of halt solutions in ide
-
-
-
-
0.15.0
several bug fixes, new build automation code, and more primitives
-