Posted in tuProlog on January 30, 2007 | No Comments »
After three months from the main 2.0 release, a tuProlog bugfix release hit the street today. Amongst the most important bugs that have been solved there are: a new bagof/3 implementation; no more infinite loops when solving a conjunction of goals; assert/1 does not lose variable bindings when inserting new clauses in the knowledge base. [...]
Posted in Software Development on January 15, 2007 | No Comments »
Hi, I am a Java programmer, and I have designed exceptions in the java.util.zip package so that users are presented with meaningful messages like the following when something goes wrong reading an entry in some compressed file:
java.util.zip.ZipException: invalid entry size (expected 5492 but got 5443 bytes)
at java.util.zip.ZipInputStream.readEnd(ZipInputStream.java:36
[...]
