- [BREAKING] new api for writing Prolog primitives (fixing #90) - improve management of side effects in resolution - add serialization modules for core and theory (closing #93) - add builtins retractall/1, append/3, ==/2, ==/2, @>/2, @>=/2, @</2, @<=/2 - many bugfixes (closing #88, #89, #92)