Delete Topic

You can delete your topic:

Document:
Releases
Title:
Prolog 1.2.5
Heading:
Jekejeke Prolog 1.2.5 (better XML/new XSL binding)
Text:
Dear All,

<a href="http://www.jekejeke.ch/idatab/doclet/prod/en/docs/05_run/05_down.jsp"><img src="xslmash_small.png" align="right" height="198" width="264"></a>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:
<code>
   ?- card(2,[X,Y,Z]).
   sat((X->(Y->(Z->0;1);Z->1;0);Y->(Z->1;0);Z->0;0))
</code>
- 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 $&lt;name&gt;.

Happy coding!

<strong>Android Appstores:</strong>
<a href="http://play.google.com/store/apps/details?id=jekpro.platform.headless">Google Play</a>

<strong>Download:</strong>
<a href="http://www.jekejeke.ch/idatab/doclet/prod/en/docs/05_run/05_down.jsp">Jekejeke Runtime</a>
 

The deletion will delete all dependent comments.

Further the deletion will remove these images from the server:

Usage Name Height x Width Preview Movable
Topic xslmash_small.png 198 x 264 true