So, because all the Prolog papers I was reviewing were referencing Programming in Prolog by W. F. Clocksin and C. S. Mellish I bought an older (and cheap) edition to re-read. I was surprised how good the book is for learning to program in Prolog.

You can use the wonderful Learn Prolog Now! as a free introduction text, but Clocksin and Mellish chapters on grammar rules, debugging and laying out programs makes the book priceless.

And if you want to use prolog for ‘practical matters’ I strongly recommend Jan Wielemaker Ph. D. disertation: Logic programming for knowledge-intensive interactive applications. You’ll find a good overview about using Prolog outside the logic course: Web, multi-threaded, RDFs, literate programming, interfacing with object-oriented systems and interfacing with C for creating data storages.

Finally, If you come from the functional programming world, download Scrap Your Boilerplate—Prologically! a Prolog version of the Scrap Your Boilerplate set of papers. It is a great addition for learning Prolog if your background is functional.

Software should be able to apply per user customization properties between common members of users’ groups. These communities should be discovered by the application using existing relationships among the users. The relationship should be an integral part of the application, set by the users (via internal application messaging, internal address book, subscription to mailing lists/interest groups…) or the application administrators (hierarchical definitions, ACLs…). From the set of communities the application should extract  customization properties and recommend the common ones to the rest of the community.

Two documents have been useful:

1. Social networks that matter: Twitter under the microscope
   is an introductory paper about choosing the right metric for identifying communities in Twitter, but easily applicable to other social networks.  Conclusion for Twitter: Number of followers is not a good metric, @friends are.

2. Discovering Communities in Linear Time: a Physics Approach is a much more interesting paper. It proposes using Kirchhoff’s laws to find communities in linear time (without the need of edge cutting). The algorithm has some drawbacks (Usha Nandini Raghavan, Reka Albert, Soundar Kumara propose an alternative), but the approach is interesting because allows to identify communities without identifying hierarchical structures.

For more social network papers, HP Labs has an interesting set of them.

Oh! I also work for an HP company, but I have no relationship to the HP Labs papers.

Qitab is the final name of the project ITA will use to publish its lisp code.

The first project in Qitab is POIU a replacement for ASDF that will compile each of your ASDF systems in parallel.

Also, ITA published XCVB, a compillation tool for SBCL. Zach wrote a post about it in May.

ITA is known in lisp world for being a proud user of lisp in software development world, and contributing to existing lisp projects (from SBCL to slime). They’re also vocal about lisp use in today’s most complex problems (low fare search engine is one of their business) so they’re widely respected.

They will be publishing generally purpose libraries and utilities. No Airline Industry code will be published.

Additional information will be found in the devel and announce mailing lists.

Update: ITA has changed the project name, more information in the following post.

From the always great The Next Web I discovered a nice, simple and straightforward tool (no registering required) to transform a set of rss into a pdf for paper reading: Tabbloid from HP.

I find this technology incredibly interesting: not only because I created something like that some years ago to compose Pubmed information for doctors and discovered how hard can be to develop a pagination system, but also because automatic pagination was one of the fields were AI technology was useful.

After a quick trial with boingboing‘s feed some issues should be addressed by HP:

• Resulting pdfs are huge. It seems they’re strategy for images is not optimized.
• The resulting design is not as attractive as I expected: bullet points are horrible, some hanging chapter headers and the two columns format is not the most aesthetically presentation around

But anyway, it is a good start and I hope they improve the paginating algorithm (the core of the application) shortly. Also, it seems a good solution for people who commute using mass transport without a laptop/iPhone.

Oh!! As you probably know I currently work with HP, but I’m in no way related to Tabloid’s team.