Jekejeke Prolog 1.4.5 (Default Methods Support)

Jan Burse, created Aug 11. 2020 Dear All, We just uploaded a new release of Jekejeke Prolog. The following major improvements are provided: - Block Operators: The block operators syntax [] and {} now fully support the Jekejeke Prolog specific operator properties sys_alias/1 and sys_portray/2. Further there is a new block operator () which can be used for higher order calls, so that code such as this is now possible: compose(F, G, X, Y) :- F(X, H), G(H, Y). - Module "score": The Prolog system now requires in minimum Java SE 8 (JDK/JRE 1.8) respectively Android 7.0 (API level 24). To avoid a redundant double late binding, by Prolog and then by Java, there is a new directive foreign_special/3. This directive is now used for non-static methods by the Java class auto loader. - Module "proxy": If the Prolog module does leave an abstract interface method undefined, there is not anymore a stack overflow while message sending. And it is also now possible to make super calls into an interface default method via a qualified call thanks to foreign_special/3. The stateful marker interface is now InterfacePivot. Happy coding! #StaySafe Android Appstores: Google Play Download: Jekejeke Runtime