Tags

dependecies updates and bugfixing

improve portability on android by renaming methods with symbolic names

minor improvements to PLP api

use kotlin 1.5.31 and kt-math 0.4.0

+ PyUtils for JVM

+ plp and problog support

[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

fix parsing of structures having truth values as functors

- fix behaviour of clause/2, closing #150
- avoid useless type testing in PrimitiveWrapper

- 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)

fix dynamicKb notifications in :ide

remove useless dependency from kotlinx-coroutines-core in :io-lib

minor improvements in :ide, :oop-lib, and :core (enriched Clause API)

actually add set_prolog_flag/2

tail recursion, API improvements, bug fixing and more testing

+ make ide customisable
+ fix rendering of halt solutions in ide

+ directives + io-lib + several bugfixes

multiplatform consult/1 and bugfixes

bugfixes and consult/1 implementation

several bug fixes, new build automation code, and more primitives