Feed on
Posts
Comments

Archive for January, 2007

tuProlog 2.0.1

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. [...]

Read Full Post »

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
[...]

Read Full Post »