Jekejeke Prolog 1.2.5 (better XML/new XSL binding)

Jan Burse, created Dec 22. 2017, modified Nov 15. 2018 Dear All, We have just uploaded the new release of Jekejeke Prolog. We were mainly working on a new XSL binding. So whats new in this release: - SAT Solver New card/2 Predicate: We did not yet arrive at an improved version of our sat_count/2 predicate, that does counting without labeling. But we managed to implement a new card/2 predicate that has a quick set-up time during model building. Here is an example: ?- card(2,[X,Y,Z]). sat((X->(Y->(Z->0;1);Z->1;0);Y->(Z->1;0);Z->0;0)) - Better XML binding: Some improvements have arrived at our module system/xml. The API now consists of predicates that have an additional option list. In this option list "empty" or "any" complex type elements can be configured. Further number nametoken attributes are automatically recognized and stored as Java Long attribute values in a DOM model. - New XSL binding: There is a new module stream/xsl which provides validation and transformation. The validation is based on XSD schema files and it is possible to validated XML data files and XSL style sheets. The transformation makes use of the XPath expressions in XSL style sheets and also allows XPath variables with the syntax $<name>. Happy coding! Android Appstores: Google Play Download: Jekejeke Runtime